path: root/src/fat_common.h
Commit message (Expand)AuthorAgeFilesLines
* Improve Frama-C annotations for a bunch of filesChristophe Grenier2024-01-011-0/+4
* src/fat_common.[ch]: update Frama-C annotationsChristophe Grenier2021-06-121-0/+7
* fat: use uint8_t instead of int8_t for name and extChristophe Grenier2020-11-271-2/+2
* Move low-level structure from fat.h to fat_common.hChristophe Grenier2020-09-011-0/+110
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-0/+24
* Add files presents in .tar.bz2 but missing in gitChristophe Grenier2014-05-271-0/+36