3 commits

Author	SHA1	Message	Date
Christophe Grenier	b2a0d41da6	Numerous frama-c annotations	2021-11-20 11:26:50 +01:00
Christophe Grenier	e2711613a2	New functions log_all_partitions() and init_list_part()	2013-05-15 13:53:12 +02:00
Christophe Grenier	1650fe5b8b	Split ncurses text interface from functions	2009-01-14 22:13:47 +01:00