Commit graph

9 commits

Author SHA1 Message Date
Christophe Grenier
ed2c66e464 src/file_all.c: Improve Frama-C annotations 2021-06-05 19:37:39 +02:00
Christophe Grenier
b5606583ee src/file_all.c: add frama-c annotations 2021-02-11 19:31:07 +01:00
Christophe Grenier
79e2b889da PhotoRec: add an ifdef in each file for easier frama-c testing 2020-09-11 12:58:00 +02:00
Christophe Grenier
35ddcde355 PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup) 2015-06-13 11:58:44 +02:00
Christophe Grenier
e1ca401030 remove always-true memcmp 2015-05-11 09:25:39 +02:00
Christophe Grenier
5156d5b462 Code cleanup 2009-10-25 18:26:16 +01:00
Christophe Grenier
10b6712c62 PhotoRec: in FileOpts, press 's' to deselect all files or reset to default settings 2008-02-27 20:35:42 +01:00
Christophe Grenier
bda51eefe0 Remove header_check from struct file_hint_struct
Add Microsoft Visual Studio Resource file .res support
2007-12-23 14:54:58 +01:00
Christophe Grenier
9928d99936 First version in git 2007-10-29 22:38:52 +01:00