1. 2217322 Work around gnatprove trouble with >64-bit range type by Nico Huber · 1 year, 1 month ago
  2. f83364a Implement Is_Space() by Nico Huber · 1 year, 1 month ago
  3. 0496d89 Add Is_Power_Of_2 functions by Nico Huber · 1 year, 1 month ago
  4. 9072090 Fix Read_LE16/32 for array slices by Nico Huber · 1 year, 1 month ago
  5. 9c04187 Introduce Blockdev_Length/_Offset by Nico Huber · 1 year, 1 month ago
  6. 481ff84 Move shared types into FILO package by Nico Huber · 1 year, 1 month ago
  7. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 1 year, 1 month ago[Renamed (96%) from src/fs.ads]
  8. cd6b7ec FS: Add pre-conditions for deserialization functions by Nico Huber · 1 year, 1 month ago
  9. 98417fc Add Read_LE16/32 and types by Nico Huber · 1 year, 1 month ago
  10. 62268ee Make it compile by Thomas Heijligen · 1 year, 1 month ago
  11. d1e0457 Test env to develop FILO filesystem drivers in Ada by Thomas Heijligen · 1 year, 1 month ago