summaryrefslogtreecommitdiffstats
path: root/src/adv.h
Commit message (Expand)AuthorAgeFilesLines
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+4
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+10
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-0/+8
* Split the interface in several files, part 2Christophe Grenier2008-08-251-5/+0
* First version in gitChristophe Grenier2007-10-291-0/+28