Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve Frama-C annotations for a bunch of files | Christophe Grenier | 2024-01-01 | 1 | -2/+9 |
* | src/file_stl.c: improve Frama-C annotations | Christophe Grenier | 2021-07-24 | 1 | -7/+3 |
* | src/file_stl.c: add Frama-C annotations | Christophe Grenier | 2021-03-05 | 1 | -3/+15 |
* | src/file_stl.c: fix filesize | Christophe Grenier | 2020-10-12 | 1 | -3/+6 |
* | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+2 |
* | PhotoRec: fix STL Binary format filesize detection | Christophe Grenier | 2018-02-18 | 1 | -2/+2 |
* | PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup) | Christophe Grenier | 2015-06-13 | 1 | -1/+0 |
* | PhotoRec: better check for .stl binary format detection | Christophe Grenier | 2013-03-23 | 1 | -23/+20 |
* | Remove unused function declaration | Christophe Grenier | 2008-07-13 | 1 | -1/+0 |
* | PhotoRec, add support for | Christophe Grenier | 2008-06-13 | 1 | -0/+75 |