summaryrefslogtreecommitdiffstats
path: root/src/autoset.h
Commit message (Expand)AuthorAgeFilesLines
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+10
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+4
* move autoset_unit() to a separate fileChristophe Grenier2009-05-051-0/+23