Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/file_x3i.c: improve Frama-C annotations | Christophe Grenier | 2021-07-28 | 1 | -7/+3 |
* | src/file_x3i.c: add Frama-C annotations | Christophe Grenier | 2021-03-14 | 1 | -11/+22 |
* | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+2 |
* | PhotoRec: avoid to split x3f file due to x3i signature | Christophe Grenier | 2019-05-01 | 1 | -0/+1 |
* | PhotoRec: recover x3i Sigma/Foveon X3 raw picture | Christophe Grenier | 2018-09-22 | 1 | -0/+57 |