Gitiles
Code Review Sign In
review.sourcearcade.org / filo-scratch / 292f8a3b8b4731bbccc7f26eaef8e2ddc05c4139 / src / filo-fs-vfs.ads
  1. 3da2147 VFS: Satisfy GNATprove and No_Secondary_Stack by Nico Huber · 1 year ago
  2. b1cb2d3 Re-invent FS.VFS.Open() by Nico Huber · 1 year ago
  3. 549a1b8 Drop `File_Len` from VFS.Read() by Nico Huber · 1 year ago
  4. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 1 year, 1 month ago[Renamed (97%) from src/fs-filo-vfs.ads]
  5. 2f4d597 VFS: add <> to generics by Thomas Heijligen · 1 year, 1 month ago
  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
  10. fdfa2e2 Start FS.FILO.VFS wrapper by Nico Huber · 1 year, 1 month ago