Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/file_gz.h: add more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+1 |
* | src/file_gz.[ch]: improve frama-c annotations | Christophe Grenier | 2021-02-11 | 1 | -0/+3 |
* | Add an header guard to prevent multiple inclusion | Christophe Grenier | 2020-10-04 | 1 | -1/+3 |
* | Add missing src/file_gz.h file | Christophe Grenier | 2016-08-28 | 1 | -0/+31 |