Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification | Christophe Grenier | 2022-04-13 | 1 | -1/+1 |
* | Lots of frama-c work that should be safe to commit | Christophe Grenier | 2020-06-02 | 1 | -2/+5 |
* | Do not call utime() when using frama-c, fix some minor warnings. | Christophe Grenier | 2019-11-01 | 1 | -0/+2 |
* | Fix various issues reported by Coverity scan | Christophe Grenier | 2013-11-01 | 1 | -7/+5 |
* | Move set_date() to a separate file | Christophe Grenier | 2009-08-12 | 1 | -0/+60 |