4 commits

Author	SHA1	Message	Date
Christophe Grenier	b2a0d41da6	Numerous frama-c annotations	2021-11-20 11:26:50 +01:00
Christophe Grenier	25c8dba564	Add an header guard to prevent multiple inclusion	2020-10-04 10:30:20 +02:00
Christophe Grenier	d19e536278	Additional frama-c annotations	2020-08-08 12:26:37 +02:00
Christophe Grenier	d4c1e0ec98	split interface_partition_type() into change_arch_type_cli() and change_arch_type_ncurses()	2013-05-15 17:27:21 +02:00