summaryrefslogtreecommitdiffstats
path: root/src/fat_common.c
Commit message (Expand)AuthorAgeFilesLines
* src/fat_common.c, src/fat_dir.c: more Frama-C annotationsChristophe Grenier2023-10-081-4/+24
* src/fat_common.[ch]: update Frama-C annotationsChristophe Grenier2021-06-121-3/+15
* Move low-level structure from fat.h to fat_common.hChristophe Grenier2020-09-011-1/+0
* new functions is_fat_directory() and fat_get_cluster_from_entry()Christophe Grenier2013-11-011-1/+18
* PhotoRec: recover FAT filesystem (ie. floppy image)Christophe Grenier2009-06-211-0/+38