Gitiles
Code Review Sign In
review.sourcearcade.org / filo-scratch / f5d99d08eed074a02f199d701870508edd23c672
  1. f5d99d0 Implement Ext2.Read_FSBlock by Nico Huber · 1 year, 1 month ago
  2. 7f61349 Use BLOCK_SIZE by Nico Huber · 1 year, 1 month ago
  3. a529660 Prepare Blockdev for 32-bit longs by Nico Huber · 1 year, 1 month ago
  4. 9c04187 Introduce Blockdev_Length/_Offset by Nico Huber · 1 year, 1 month ago
  5. 481ff84 Move shared types into FILO package by Nico Huber · 1 year, 1 month ago
  6. 5182037 Add NullFS by Thomas Heijligen · 1 year, 1 month ago
  7. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 1 year, 1 month ago
  8. a968f6f add Ada wrapper for C_devread by Thomas Heijligen · 1 year, 1 month ago
  9. 26f7183 FS.FILO.Ext2: Fill Mount() procedure by Nico Huber · 1 year, 1 month ago
  10. 8ec45a1 FS.FILO.Ext2: Export C functions by Nico Huber · 1 year, 1 month ago
  11. 2f4d597 VFS: add <> to generics by Thomas Heijligen · 1 year, 1 month ago
  12. 57d3a85 FS.FILO.Ext2: Update stubs by Nico Huber · 1 year, 1 month ago
  13. 3e72282 FS.FILO: Add Partition_Offset type by Nico Huber · 1 year, 1 month ago
  14. cd6b7ec FS: Add pre-conditions for deserialization functions by Nico Huber · 1 year, 1 month ago
  15. f983931 FS.FILO: Allow File_Offset of full File_Length by Nico Huber · 1 year, 1 month ago
  16. 3ec689d nix: add -U option to gnatprove by Thomas Heijligen · 1 year, 1 month ago
  17. 691220d FS.FILO.VFS: Move `Convention => C` to spec by Nico Huber · 1 year, 1 month ago
  18. 51f6041 Make VFS wrapper state aware by Nico Huber · 1 year, 1 month ago
  19. 75d1ff3 vfs: Add filo like vfs layer by Thomas Heijligen · 1 year, 1 month ago
  20. dc1a84b blockdev: Add missing partition functions by Thomas Heijligen · 1 year, 1 month ago
  21. 98417fc Add Read_LE16/32 and types by Nico Huber · 1 year, 1 month ago
  22. 1d7727f Add stub for FS.FILO.Ext2 by Nico Huber · 1 year, 1 month ago
  23. d49cb12 Move SPARK_Mode => Off into body by Thomas Heijligen · 1 year, 1 month ago
  24. b00b316 Use getopt for program parameters by Thomas Heijligen · 1 year, 1 month ago
  25. 3a5cd8c FS.FILO: Add access to globals by Nico Huber · 1 year, 1 month ago
  26. c6bd3d3 Rename FS.FILO => FS.FILO.Dev by Nico Huber · 1 year, 1 month ago
  27. 0a9591e Fill FS.FILO.VFS wrapper by Nico Huber · 1 year, 1 month ago
  28. fdfa2e2 Start FS.FILO.VFS wrapper by Nico Huber · 1 year, 1 month ago
  29. 62268ee Make it compile by Thomas Heijligen · 1 year, 1 month ago
  30. 81cf58d Remove a.out by Thomas Heijligen · 1 year, 1 month ago
  31. d1e0457 Test env to develop FILO filesystem drivers in Ada by Thomas Heijligen · 1 year, 1 month ago