Gitiles
Code Review Sign In
review.sourcearcade.org / filo-scratch / 989bfe274220748f0cb02ee0cae73cce8f78eae4 / src / filo-blockdev.adb
  1. 6fb3854 Justify warnings about unnecessary checks in 64-bit builds by Nico Huber · 11 months ago
  2. 68ed36e Blockdev: Buffer needs only to be of type out by Thomas Heijligen · 11 months ago
  3. 1f3825e Disable SPARK_Mode for use of 'Address by Nico Huber · 1 year ago
  4. 2217322 Work around gnatprove trouble with >64-bit range type by Nico Huber · 1 year ago
  5. 7f61349 Use BLOCK_SIZE by Nico Huber · 1 year, 1 month ago
  6. a529660 Prepare Blockdev for 32-bit longs by Nico Huber · 1 year, 1 month ago
  7. 9c04187 Introduce Blockdev_Length/_Offset by Nico Huber · 1 year, 1 month ago
  8. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 1 year, 1 month ago[Renamed (93%) from src/fs-filo-dev.adb]
  9. a968f6f add Ada wrapper for C_devread by Thomas Heijligen · 1 year, 1 month ago
  10. c6bd3d3 Rename FS.FILO => FS.FILO.Dev by Nico Huber · 1 year, 1 month ago[Renamed (93%) from src/fs-filo.adb]
  11. 62268ee Make it compile by Thomas Heijligen · 1 year, 1 month ago
  12. d1e0457 Test env to develop FILO filesystem drivers in Ada by Thomas Heijligen · 1 year, 1 month ago