Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve Frama-C annotations for a bunch of files | Christophe Grenier | 2024-01-01 | 1 | -0/+3 |
* | src/file_xml.c: rewrote file_rename_xml() for easier Frama-C validation | Christophe Grenier | 2023-10-08 | 1 | -18/+39 |
* | src/file_xml.c: improve Frama-C annotations | Christophe Grenier | 2021-07-28 | 1 | -9/+5 |
* | src/file_xml.c: fix problems reported by Frama-C | Christophe Grenier | 2021-03-14 | 1 | -43/+66 |
* | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+2 |
* | PhotoRec: recover Symantec encrypted xml files | Christophe Grenier | 2016-02-21 | 1 | -0/+113 |