Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/file_bpg.c: improve Frama-C annotations | Christophe Grenier | 2021-06-06 | 1 | -18/+3 |
* | src/file_bpg.c: improve frama-c annotations | Christophe Grenier | 2021-02-14 | 1 | -5/+4 |
* | PhotoRec: src/file_bpg.c - fix problems reported by frama-c | Christophe Grenier | 2020-09-12 | 1 | -4/+46 |
* | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+2 |
* | PhotoRec: check picture_width and picture_height in bpg picture | Christophe Grenier | 2016-12-11 | 1 | -4/+6 |
* | src/file_bpg.c - code style | Christophe Grenier | 2016-02-01 | 1 | -4/+3 |
* | Finalized .BPG support. | Dmitry Brant | 2016-01-31 | 1 | -9/+15 |
* | Improve BPG detection. | Dmitry Brant | 2016-01-30 | 1 | -28/+26 |
* | Adding BPG format. | Dmitry Brant | 2016-01-30 | 1 | -0/+91 |