Commit graph

9 commits

Author SHA1 Message Date
Christophe Grenier
13eb09f44e src/file_imb.c: improve Frama-C annotations 2021-06-23 07:54:55 +02:00
Christophe Grenier
2eece3d2c5 src/file_imb.c: add frama-c annotations 2021-02-24 08:03:17 +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
300ca7a483 PhotoRec: Incredimail recovery wasn't working, fix it 2008-05-30 18:05:53 +02: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