Timeline



Jan 10, 2012:

6:51 PM Changeset [41] by cecile
new command generate cnf from network

Jan 8, 2012:

5:12 PM Changeset [40] by cecile
abnormal structure in network
3:38 PM Changeset [39] by cecile
debug example ltl formula
3:30 PM Changeset [38] by cecile
first attempt debug with ltl formula

Jan 5, 2012:

4:33 PM Changeset [37] by cecile
the network now take the new fsm as fsm

Jan 4, 2012:

12:03 PM Changeset [36] by cecile
Add Abnormal predicate structures

Jan 3, 2012:

11:12 AM Changeset [35] by cecile
modify mv table
11:11 AM Changeset [34] by cecile
des fichiers en trop
11:10 AM Changeset [33] by cecile
add debug example
Note: See TracTimeline for information about the timeline view.