Gitiles
Code Review Sign In
review.sourcearcade.org / filo-scratch / b18691eae31235784726b763325a0b92bc03f9a4 / src / filo-fs-ext2.adb
  1. 20bf593 ext2: Rename Inode_Extents -> Inline_Extents by Nico Huber · 11 months ago
  2. 7e7d149 ext2: Restore Size attribute, keep it along Object_Size by Nico Huber · 11 months ago
  3. b735a1d ext2: Relax initialization in Read() by Nico Huber · 11 months ago
  4. b50290f ext2: Drop redundant initialization (Blockdev.Read handles it now) by Nico Huber · 11 months ago
  5. 566c886 ext2: Allow to open `root' as a subdirectory by Nico Huber · 11 months ago
  6. 75e20b5 ext2: Ignore physical 0 pointers in ext2 block map by Nico Huber · 11 months ago
  7. ea1de11 ext2: Cache physical location of current content block by Nico Huber · 11 months ago
  8. 4f366b3 ext2: Support gaps in extents for sparse files by Nico Huber · 11 months ago
  9. 767608d ext2: Ensure the directory walk progresses by Nico Huber · 11 months ago
  10. 29e1ba2 ext2: Check maximum extent length by Nico Huber · 11 months ago
  11. bc4f7e9 ext2: Fix typo in extent-header magic by Nico Huber · 11 months ago
  12. 6bef924 ext2: Simplify block cache by Nico Huber · 11 months ago
  13. 43af31f ext2: Only read interesting part of the superblock by Nico Huber · 11 months ago
  14. 53df785 ext2: Somewhat finish proofs by Nico Huber · 12 months ago
  15. e5d7c0e ext2: Re-work file-name version of Open() to ease proving by Nico Huber · 12 months ago
  16. eb01207 ext2: Finish round of proofs for inode version of Open() by Nico Huber · 12 months ago
  17. 7eb5692 ext2: Factor inode-group deserialization out by Nico Huber · 12 months ago
  18. 71f9ca0 ext2: Factor inode deserialization out by Nico Huber · 12 months ago
  19. 925326e ext2: Adjust inode version of Open() to ease proof by Nico Huber · 12 months ago
  20. 39f086c ext2: Restrict range of First_Data_Block by Nico Huber · 12 months ago
  21. ecafb8f ext2: Pre-compute Inodes_Per_Block & Desc_Per_Block by Nico Huber · 12 months ago
  22. 1db9193 ext2: Adjust Extent_Block_Map() to ease proof by Nico Huber · 12 months ago
  23. 52f4c8d ext2: Further split our state record by Nico Huber · 12 months ago
  24. 96a0b0e ext2: Help proof of extent lookup by Nico Huber · 12 months ago
  25. 6710c0e ext2: Fix binary extent search and help proof by Nico Huber · 12 months ago
  26. 5a042fd ext2: Adapt to satisfy some checks by Nico Huber · 12 months ago
  27. 700a411 ext2: Introduce State.Block_Size by Nico Huber · 12 months ago
  28. 3da2147 VFS: Satisfy GNATprove and No_Secondary_Stack by Nico Huber · 1 year ago
  29. 21d4202 Implement Ext2.Open() by Nico Huber · 1 year ago
  30. b1cb2d3 Re-invent FS.VFS.Open() by Nico Huber · 1 year ago
  31. 549a1b8 Drop `File_Len` from VFS.Read() by Nico Huber · 1 year ago
  32. d3644be Implement Ext2.Read() by Nico Huber · 1 year ago
  33. 022e226 ext2: Read inode type and length by Nico Huber · 1 year ago
  34. 7403a54 ext2: Rename Inode.Extents => Inode.Inline by Nico Huber · 1 year ago
  35. cdc0351 ext2: Implement Open() for an inode by number by Nico Huber · 1 year ago
  36. 57dfbfb ext2: Distinguish physical (always valid) and logical (per file) cached blocks by Nico Huber · 1 year ago
  37. 33f6d95 ext2: Better organize per inode info by Nico Huber · 1 year ago
  38. 77a04d7 ext2: Make Feature_64Bit more strict by Nico Huber · 1 year ago
  39. cd1d5f7 Tune ext2 types by Nico Huber · 1 year ago
  40. c4c7a5e ext2: Fix off-by-one by Nico Huber · 1 year ago
  41. fffc8c1 Implement Extent_Block_Map for ext4 extents by Nico Huber · 1 year ago
  42. 68c8693 ext2: Extract Cache_FSBlock procedure by Nico Huber · 1 year ago
  43. fe89712 ext2: Use a more generic cache index by Nico Huber · 1 year ago
  44. 6623c98 First version of Ext2_Block_Map by Nico Huber · 1 year, 1 month ago
  45. f5d99d0 Implement Ext2.Read_FSBlock by Nico Huber · 1 year, 1 month ago
  46. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 1 year, 1 month ago[Renamed (97%) from src/fs-filo-ext2.adb]
  47. 26f7183 FS.FILO.Ext2: Fill Mount() procedure by Nico Huber · 1 year, 1 month ago
  48. 8ec45a1 FS.FILO.Ext2: Export C functions by Nico Huber · 1 year, 1 month ago
  49. 57d3a85 FS.FILO.Ext2: Update stubs by Nico Huber · 1 year, 1 month ago
  50. 1d7727f Add stub for FS.FILO.Ext2 by Nico Huber · 1 year, 1 month ago