Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/file_pf.c: improve Frama-C annotations | Christophe Grenier | 2021-07-06 | 1 | -15/+9 |
* | src/file_pf.c: improve Frama-C annotations | Christophe Grenier | 2021-02-27 | 1 | -5/+2 |
* | src/file_pf.c: add frama-c annotations | Christophe Grenier | 2021-02-07 | 1 | -4/+4 |
* | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+2 |
* | PhotoRec: add a few frama-c annotations, mostly in header_check functions | Christophe Grenier | 2020-01-18 | 1 | -2/+9 |
* | PhotoRec: src/file_pf.c - additional frama-c annotations for file_rename_pf() | Christophe Grenier | 2019-12-28 | 1 | -0/+7 |
* | src/file_pf.c: additional frama-c annotation | Christophe Grenier | 2019-12-07 | 1 | -0/+1 |
* | Fix the remaining problems reported by "make frama-c-pf" | Christophe Grenier | 2019-10-19 | 1 | -3/+6 |
* | PhotoRec: stricter check when recovering .pf files | Christophe Grenier | 2019-10-13 | 1 | -1/+114 |
* | PhotoRec: recover Windows prefetch .pf file | Christophe Grenier | 2016-06-26 | 1 | -0/+88 |