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