summaryrefslogtreecommitdiffstats
path: root/src/setdate.c
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-2/+5
* Do not call utime() when using frama-c, fix some minor warnings.Christophe Grenier2019-11-011-0/+2
* Fix various issues reported by Coverity scanChristophe Grenier2013-11-011-7/+5
* Move set_date() to a separate fileChristophe Grenier2009-08-121-0/+60