Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Repository changesets Wiki changes

Jan 24, 2012:

3:41 PM Changeset [44] by cecile

abnormal predicate done

Jan 17, 2012:

4:36 PM Changeset [43] by cecile

petit bug protect_golden cmd

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