1. 523c372 vfs: Drop dead package with by Nico Huber · 11 months ago
  2. 3da2147 VFS: Satisfy GNATprove and No_Secondary_Stack by Nico Huber · 1 year, 1 month ago
  3. b1cb2d3 Re-invent FS.VFS.Open() by Nico Huber · 1 year, 1 month ago
  4. 549a1b8 Drop `File_Len` from VFS.Read() by Nico Huber · 1 year, 1 month ago
  5. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 1 year, 1 month ago[Renamed (97%) from src/fs-filo-vfs.ads]
  6. 2f4d597 VFS: add <> to generics by Thomas Heijligen · 1 year, 1 month ago
  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, 2 months ago
  10. 0a9591e Fill FS.FILO.VFS wrapper by Nico Huber · 1 year, 2 months ago
  11. fdfa2e2 Start FS.FILO.VFS wrapper by Nico Huber · 1 year, 2 months ago