| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification | Christophe Grenier | 2022-04-13 | 1 | -1/+1 |
| | | | | | using frama-c | ||||
| * | src/file_ibd.c: improve Frama-C annotations | Christophe Grenier | 2021-06-22 | 1 | -7/+3 |
| | | |||||
| * | src/file_ibd.c: add frama-c annotations | Christophe Grenier | 2021-02-22 | 1 | -1/+17 |
| | | |||||
| * | src/file_ibd.c: fix warning reported by gcc | Christophe Grenier | 2020-09-14 | 1 | -1/+1 |
| | | |||||
| * | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+2 |
| | | |||||
| * | header_check_ibd(): use parenthesis to improve readability | Christophe Grenier | 2016-08-20 | 1 | -1/+1 |
| | | |||||
| * | PhotoRec: recover InnoDB .ibd database file | Christophe Grenier | 2015-09-17 | 1 | -0/+106 |
 |
index : testdisk | |
| TestDisk & PhotoRec | Christophe GRENIER |
| summaryrefslogtreecommitdiffstats |