summaryrefslogtreecommitdiffstats
path: root/src/misc.h
Commit message (Expand)AuthorAgeFilesLines
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+5
* Do not record compilation time by default, will help to get reproductible buildChristophe Grenier2015-05-151-0/+2
* Add get_compilation_date() and td_jpeg_version() functionsChristophe Grenier2011-04-231-0/+1
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-0/+8
* Reports OS version and compiler versionChristophe Grenier2008-03-241-0/+23