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 |
* | Disable ncurses library when using frama-c | Christophe Grenier | 2020-11-01 | 1 | -0/+5 |
* | Replace http://www.cgsecurity.org by https | Christophe Grenier | 2017-12-02 | 1 | -1/+1 |
* | aff_copy_short(): a 1-line banner | Christophe Grenier | 2010-09-19 | 1 | -1/+6 |
* | Always include stdio.h before ncurses header and types.h | Christophe Grenier | 2009-06-12 | 1 | -0/+1 |
* | Fix some compilation warnings | Christophe Grenier | 2009-02-03 | 1 | -1/+0 |
* | Split ncurses text interface from functions | Christophe Grenier | 2009-01-14 | 1 | -0/+44 |