path: root/src/hidden.c
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-2/+2
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+4
* Fix for HPA and DCO detection (again)Christophe Grenier2011-03-051-6/+14
* Another fix for DCO/HPA detectionChristophe Grenier2010-05-211-2/+2
* Better check for HPA/DCO reportingChristophe Grenier2009-12-281-2/+2
* HPA/DOC detection, handle the case where native_max is null.Christophe Grenier2009-07-031-8/+13
* Split ncurses text interface from functionsChristophe Grenier2009-01-141-75/+4
* Code cleanup after using LLVM/Clang Static AnalyzerChristophe Grenier2008-11-161-1/+1
* Display a warning if HPA or DCO is presentChristophe Grenier2008-10-071-0/+115