Age | Commit message (Expand) | Author |
---|---|---|
2021-05-09 | Update my email address (scripted) | Florian Franzmann |
2013-05-31 | devel/why: fix incompatibility with frama-c Fluorine-20130501 | Florian Franzmann |
2013-05-26 | devel/why: new spell, a software verification platform | Florian Franzmann |