path: root/src/misc.c
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+7
* Report Windows 10 and Windows server 2016Christophe Grenier2020-08-081-0/+7
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-2/+9
* frama-c: add annotations for fidentify, checks reduced to file_bmp.c andChristophe Grenier2020-01-261-2/+2
* Fix various warningsChristophe Grenier2018-03-151-1/+1
* Distinguish cygwin 32 bits from cygwinChristophe Grenier2015-11-211-0/+6
* Do not record compilation time by default, will help to get reproductible buildChristophe Grenier2015-05-151-0/+2
* Report Windows 8 and Windows server 2012 by nameChristophe Grenier2015-04-111-1/+15
* src/misc.c: HAVE_UNAME wasn't usedChristophe Grenier2014-03-161-1/+1
* Try to convert the compilation date to the ISO formatChristophe Grenier2011-04-241-2/+21
* Add get_compilation_date() and td_jpeg_version() functionsChristophe Grenier2011-04-231-32/+42
* Detect Windows server 2008 and Windows server 2008 R2 - compilation fixChristophe Grenier2009-09-041-1/+1
* Detect Windows server 2008 and Windows server 2008 R2Christophe Grenier2009-09-031-4/+12
* Log the machine architectureChristophe Grenier2009-08-271-1/+1
* Log compilation date/timeChristophe Grenier2008-04-111-0/+8
* Reports OS version and compiler versionChristophe Grenier2008-03-241-0/+237