Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/file_axp.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+2 |
* | src/file*.c: add various Frama-C annotations in data_check_*() | Christophe Grenier | 2023-10-08 | 1 | -0/+2 |
* | src/file_axp.c: Improve Frama-C annotations | Christophe Grenier | 2021-06-06 | 1 | -20/+8 |
* | src/file_axp.c: better file_check | Christophe Grenier | 2021-02-13 | 1 | -13/+33 |
* | src/file_axp.c: fix frama-c warnings in data_check_axp() | Christophe Grenier | 2021-01-29 | 1 | -1/+13 |
* | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+15 |
* | PhotoRec: recover .axp Pinnacle Studio | Christophe Grenier | 2015-07-19 | 1 | -0/+96 |