1. 6710c0e ext2: Fix binary extent search and help proof by Nico Huber · 12 months ago
  2. 5a042fd ext2: Adapt to satisfy some checks by Nico Huber · 12 months ago
  3. 700a411 ext2: Introduce State.Block_Size by Nico Huber · 12 months ago
  4. 3da2147 VFS: Satisfy GNATprove and No_Secondary_Stack by Nico Huber · 1 year ago
  5. 21d4202 Implement Ext2.Open() by Nico Huber · 1 year ago
  6. b1cb2d3 Re-invent FS.VFS.Open() by Nico Huber · 1 year ago
  7. 549a1b8 Drop `File_Len` from VFS.Read() by Nico Huber · 1 year ago
  8. d3644be Implement Ext2.Read() by Nico Huber · 1 year ago
  9. 022e226 ext2: Read inode type and length by Nico Huber · 1 year ago
  10. 7403a54 ext2: Rename Inode.Extents => Inode.Inline by Nico Huber · 1 year ago
  11. cdc0351 ext2: Implement Open() for an inode by number by Nico Huber · 1 year ago
  12. 57dfbfb ext2: Distinguish physical (always valid) and logical (per file) cached blocks by Nico Huber · 1 year ago
  13. 33f6d95 ext2: Better organize per inode info by Nico Huber · 1 year ago
  14. 77a04d7 ext2: Make Feature_64Bit more strict by Nico Huber · 1 year ago
  15. cd1d5f7 Tune ext2 types by Nico Huber · 1 year ago
  16. c4c7a5e ext2: Fix off-by-one by Nico Huber · 1 year ago
  17. fffc8c1 Implement Extent_Block_Map for ext4 extents by Nico Huber · 1 year ago
  18. 68c8693 ext2: Extract Cache_FSBlock procedure by Nico Huber · 1 year ago
  19. fe89712 ext2: Use a more generic cache index by Nico Huber · 1 year, 1 month ago
  20. 6623c98 First version of Ext2_Block_Map by Nico Huber · 1 year, 1 month ago
  21. f5d99d0 Implement Ext2.Read_FSBlock by Nico Huber · 1 year, 1 month ago
  22. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 1 year, 1 month ago[Renamed (97%) from src/fs-filo-ext2.adb]
  23. 26f7183 FS.FILO.Ext2: Fill Mount() procedure by Nico Huber · 1 year, 1 month ago
  24. 8ec45a1 FS.FILO.Ext2: Export C functions by Nico Huber · 1 year, 1 month ago
  25. 57d3a85 FS.FILO.Ext2: Update stubs by Nico Huber · 1 year, 1 month ago
  26. 1d7727f Add stub for FS.FILO.Ext2 by Nico Huber · 1 year, 1 month ago