summaryrefslogtreecommitdiffstats
path: root/src/bfs.h
Commit message (Expand)AuthorAgeFilesLines
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+13
* Constify a lot of function parametersChristophe Grenier2020-06-191-1/+1
* Code cleanupChristophe Grenier2009-10-251-17/+17
* Fix some compilation warningsChristophe Grenier2009-02-031-2/+2
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-0/+7
* First version in gitChristophe Grenier2007-10-291-0/+83