summaryrefslogtreecommitdiffstats
path: root/src/file_dir.c
Commit message (Expand)AuthorAgeFilesLines
* Improve Frama-C annotations for a bunch of filesChristophe Grenier2024-01-011-0/+1
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-2/+2
* src/file_dir.c: improve Frama-C annotationsChristophe Grenier2021-06-061-13/+11
* file_*.c: add various Frama-C annotationsChristophe Grenier2021-04-101-0/+2
* src/file_dir.c: update frama-c annotationsChristophe Grenier2021-01-291-8/+6
* Disable ncurses library when using frama-cChristophe Grenier2020-11-011-1/+1
* src/file_dir.c: do not include dir.hChristophe Grenier2020-09-121-1/+0
* Move low-level structure from fat.h to fat_common.hChristophe Grenier2020-09-011-2/+3
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+26
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* PhotoRec: log the correct filename if file has been renamedChristophe Grenier2015-06-121-3/+3
* PhotoRec: use an enum for values returned by data_check()Christophe Grenier2013-12-141-2/+2
* new functions is_fat_directory() and fat_get_cluster_from_entry()Christophe Grenier2013-11-011-3/+4
* Minor code cleanupChristophe Grenier2012-10-211-3/+1
* PhotoRec: better detection of FAT directoryChristophe Grenier2012-09-161-11/+46
* Fix for C++ compilationChristophe Grenier2009-01-041-1/+1
* PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s...Christophe Grenier2008-02-271-0/+1
* Remove header_check from struct file_hint_structChristophe Grenier2007-12-231-1/+0
* First version in gitChristophe Grenier2007-10-291-0/+62