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