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