summaryrefslogtreecommitdiffstats
path: root/src/rfs.h
Commit message (Expand)AuthorAgeFilesLines
* Improve Frama-C annotationsChristophe Grenier2022-07-141-0/+1
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* Additional frama-c annotationsChristophe Grenier2020-08-081-2/+14
* Constify a lot of function parametersChristophe Grenier2020-06-191-1/+1
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-2/+2
* Code cleanupChristophe Grenier2009-10-251-1/+0
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-1/+6
* First version in gitChristophe Grenier2007-10-291-0/+109