path: root/src/lvm.h
Commit message (Expand)AuthorAgeFilesLines
* Avoid field with a 0 size as Frama-C do not support them.Christophe Grenier2022-04-061-0/+4
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+6
* Additional frama-c annotationsChristophe Grenier2020-08-081-4/+26
* Constify a lot of function parametersChristophe Grenier2020-06-191-2/+2
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-0/+6
* Defined more functions as staticChristophe Grenier2008-11-101-3/+1
* First version in gitChristophe Grenier2007-10-291-0/+123