Gitiles
Code Review
Sign In
review.sourcearcade.org
/
filo-scratch
/
ab933b8ff702816c25518bdd4eb14c51a40b7088
/
src
/
filo.ads
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 ago
f83364a
Implement Is_Space()
by Nico Huber
· 1 year ago
0496d89
Add Is_Power_Of_2 functions
by Nico Huber
· 1 year 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