Commit graph

11 commits

Author SHA1 Message Date
Christophe Grenier
21bcf0d465 src/file_arj.c: update Frama-C annotations 2021-06-03 13:49:24 +02:00
Christophe Grenier
0933bc5bb2 file_*.c: add various Frama-C annotations 2021-04-10 11:34:54 +02:00
Christophe Grenier
f68f009d5f src/file_arj.c: add frama-c annotations 2021-02-13 11:38:38 +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
6705437287 add gcc_struct attribute to all __packed__ structure
do not use fseeko() with mingw32 gcc compiler
2015-04-11 14:23:16 +02:00
Christophe Grenier
121aabebf2 PhotoRec: stricter check for .arj 2014-07-21 21:00:00 +02:00
Christophe Grenier
50390d8786 PhotoRec: get .arj date from file header 2013-04-19 08:05:17 +02:00
Christophe Grenier
41f3bd9b40 PhotoRec: stricter check for .arj 2010-05-21 08:57:13 +02:00
Christophe Grenier
7b41ff4c57 PhotoRec: file_search_footer() gets a new parameter 2009-05-27 09:19:13 +02:00
Christophe Grenier
c62ef5bb5b PhotoRec, add support for
- AlphaCAM amd/amt/atd/att
- arj Archive
- asm Pro/ENGINEER Assembly
- chm MS Windows HtmlHelp Data
- drw Pro/ENGINEER Drawing
- frm Pro/ENGINEER Drawing Form
- mfg Pro/ENGINEER Manufacturing
- prt Pro/ENGINEER Model
- stl Stereolithography CAD
- tph Pro/ENGINEER ToolPath
- wks Lotus 1-2-3
2008-06-13 14:56:02 +02:00