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