Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Repository changesets Wiki changes

Jan 13, 2012:

6:32 PM Changeset [42] by cecile

Fault candidates OK

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