Timeline
Jan 17, 2012:
- 4:36 PM Changeset [43] by
- petit bug protect_golden cmd
Jan 13, 2012:
- 6:32 PM Changeset [42] by
- Fault candidates OK
Jan 10, 2012:
- 6:51 PM Changeset [41] by
- new command generate cnf from network
Jan 8, 2012:
- 5:12 PM Changeset [40] by
- abnormal structure in network
- 3:38 PM Changeset [39] by
- debug example ltl formula
- 3:30 PM Changeset [38] by
- first attempt debug with ltl formula
Jan 5, 2012:
- 4:33 PM Changeset [37] by
- the network now take the new fsm as fsm
Jan 4, 2012:
- 12:03 PM Changeset [36] by
- Add Abnormal predicate structures
Jan 3, 2012:
- 11:12 AM Changeset [35] by
- modify mv table
- 11:11 AM Changeset [34] by
- des fichiers en trop
- 11:10 AM Changeset [33] by
- add debug example
Note: See TracTimeline
for information about the timeline view.