Gitiles
Code Review Sign In
review.sourcearcade.org / filo-scratch / 53df7851a3f5218c6b00a700a3c030768132a752 / src / filo-fs-vfs.adb
  1. 53df785 ext2: Somewhat finish proofs by Nico Huber · 12 months ago
  2. 3da2147 VFS: Satisfy GNATprove and No_Secondary_Stack by Nico Huber · 1 year ago
  3. b1cb2d3 Re-invent FS.VFS.Open() by Nico Huber · 1 year ago
  4. 549a1b8 Drop `File_Len` from VFS.Read() by Nico Huber · 1 year ago
  5. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 1 year, 1 month ago[Renamed (93%) from src/fs-filo-vfs.adb]
  6. 691220d FS.FILO.VFS: Move `Convention => C` to spec by Nico Huber · 1 year, 1 month ago
  7. 51f6041 Make VFS wrapper state aware by Nico Huber · 1 year, 1 month ago
  8. d49cb12 Move SPARK_Mode => Off into body by Thomas Heijligen · 1 year, 1 month ago
  9. 0a9591e Fill FS.FILO.VFS wrapper by Nico Huber · 1 year, 1 month ago