summaryrefslogtreecommitdiffstats
path: root/src/chgarch.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/+5
* split interface_partition_type() into change_arch_type_cli() and change_arch_...Christophe Grenier2013-05-151-0/+31