summaryrefslogtreecommitdiffstats
path: root/src/chgarch.h
Commit message (Expand)AuthorAgeFilesLines
* 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