Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Repository changesets Wiki changes

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

Dec 11, 2011:

1:27 PM Changeset [32] by cecile

avec les bon temps

Dec 8, 2011:

5:23 PM Changeset [31] by cecile

example for _transition

4:38 PM Changeset [30] by cecile

We can now change the transition relation

Dec 5, 2011:

12:29 AM Changeset [29] by cecile

shared missing for sharpSAT