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