Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/fat_common.c, src/fat_dir.c: more Frama-C annotations | Christophe Grenier | 2023-10-08 | 1 | -4/+24 |
* | src/fat_common.[ch]: update Frama-C annotations | Christophe Grenier | 2021-06-12 | 1 | -3/+15 |
* | Move low-level structure from fat.h to fat_common.h | Christophe Grenier | 2020-09-01 | 1 | -1/+0 |
* | new functions is_fat_directory() and fat_get_cluster_from_entry() | Christophe Grenier | 2013-11-01 | 1 | -1/+18 |
* | PhotoRec: recover FAT filesystem (ie. floppy image) | Christophe Grenier | 2009-06-21 | 1 | -0/+38 |