Context Navigation

debug.c

	Rev	Age	Author	Log Message
(edit)	@41	12 years	cecile	new command generate cnf from network
(edit)	@40	12 years	cecile	abnormal structure in network
(edit)	@38	12 years	cecile	first attempt debug with ltl formula
(edit)	@37	12 years	cecile	the network now take the new fsm as fsm
(edit)	@36	12 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.