summaryrefslogtreecommitdiffstats
path: root/src/ewf.h
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+5
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-0/+4
* Improve default partition table selectionChristophe Grenier2012-02-251-1/+1
* code cleanup: remove verbose argument to fewf_initChristophe Grenier2009-03-061-1/+1
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-0/+7
* First version in gitChristophe Grenier2007-10-291-0/+26