summaryrefslogtreecommitdiffstats
path: root/src/file_stl.c
Commit message (Expand)AuthorAgeFilesLines
* Improve Frama-C annotations for a bunch of filesChristophe Grenier2024-01-011-2/+9
* src/file_stl.c: improve Frama-C annotationsChristophe Grenier2021-07-241-7/+3
* src/file_stl.c: add Frama-C annotationsChristophe Grenier2021-03-051-3/+15
* src/file_stl.c: fix filesizeChristophe Grenier2020-10-121-3/+6
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+2
* PhotoRec: fix STL Binary format filesize detectionChristophe Grenier2018-02-181-2/+2
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* PhotoRec: better check for .stl binary format detectionChristophe Grenier2013-03-231-23/+20
* Remove unused function declarationChristophe Grenier2008-07-131-1/+0
* PhotoRec, add support forChristophe Grenier2008-06-131-0/+75