Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/file_clip.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 |
* | PhotoRec: recover Clip Studio Paint .clip files | Christophe Grenier | 2021-06-27 | 1 | -0/+113 |