summaryrefslogtreecommitdiffstats
path: root/src/hiddenn.c
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* Disable ncurses library when using frama-cChristophe Grenier2020-11-011-1/+5
* Improve English grammar, capitalization, and punctuationAlex Henrie2016-02-221-1/+1
* Fix for HPA and DCO detection (again)Christophe Grenier2011-03-051-6/+5
* Another fix for DCO/HPA detectionChristophe Grenier2010-05-211-2/+3
* Better check for HPA/DCO reportingChristophe Grenier2009-12-281-1/+1
* Always include stdio.h before ncurses header and types.hChristophe Grenier2009-06-121-1/+2
* Split ncurses text interface from functionsChristophe Grenier2009-01-141-0/+87