Context Navigation

debug.c

	Rev	Age	Author	Log Message
(edit)	@98	12 years	cecile	add part of cex
(edit)	@96	12 years	cecile	verbose
(edit)	@45	13 years	cecile	fichier biblio avec lien sur le compte verif
(edit)	@44	13 years	cecile	abnormal predicate done
(edit)	@42	13 years	cecile	Fault candidates OK
(edit)	@41	13 years	cecile	new command generate cnf from network
(edit)	@40	13 years	cecile	abnormal structure in network
(edit)	@38	13 years	cecile	first attempt debug with ltl formula
(edit)	@37	13 years	cecile	the network now take the new fsm as fsm
(edit)	@36	13 years	cecile	Add Abnormal predicate structures
(edit)	@35	13 years	cecile	modify mv table
(edit)	@30	13 years	cecile	We can now change the transition relation
(add)	@27	13 years	cecile	add debug code source

Note: See TracRevisionLog for help on using the revision log.