Christophe Grenier
|
c8f5ace77b
|
src/file_rdc.c: improve Frama-C annotations
|
2021-07-24 14:39:52 +02:00 |
|
Christophe Grenier
|
25631292e8
|
src/file_rdc.c: add Frama-C annotations
|
2021-03-03 18:11:14 +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
|
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 |
|