ChangeLog

0.4beta

-Correction of a bug in the parser with the tuples.
-Addition of a module for statistic on the matrices generated by the algorithm
-New strategies for the algorithm available (see the different new options)
-An log option have been added that stores the tree of matrices. It should help following the generation of matrices by the algorithm.
-The help menu have been changed to match all the new options
-Addition of new examples.

0.3.2.beta

-Fixing an issue with the Makefile which went into an infinite loop on Linux.
-Cleaning of the archive of some MACOX files


0.3.1.beta

-Fix of a stack overflow problem.
-The parser now handle properly the declared constants
-Addition of three new examples: Unlinkability of the Passive Authentication protocol of the electronic passport (without considering length, the existing attack when considering the length of messages and lastly the fix)

0.3beta:

-Major modifications in the source code including the interfaces
-Optimization of the algorithm. Some examples that took 80 seconds in 0.2alpha to be executed are now executed in less than a second (see the examples corresponding to the private authentication protocol in the archive).
-Several fixes of bugs
-First draft of a documentation
-Improvement of the user interface


0.2alpha:

-New feature : Trace equivalence w.r.t. length
-New help display
-Fix few bugs