Contractor engine tool changelog:
---------------------------------

0.41 (March 17th, 2010)
- Bug fixed: consistency check for every compliant state when using -B (dependencies).

0.40 (September 8th, 2009)
- Engine decoupled from contract. Now explorer goes into a sepparate distribution.
- Full redesign to allow new kinds of input without affecting the main construction algorithm.
- Options format changed (for good) and there is no backwards compatibility with this (sorry).
- New kind of input: C code with preconditions using Blast as engine (experimental as of now).

0.30 (August 13th, 2009)
- GUI-less version for the web

0.25 (July 23th, 2009)
- New experimental GUI! :-)
- Ability to simulate actions given concrete state and parameters.
- Ability to provide a concrete example of a transition.
- Output to Contractor format, which is an XML that provides a description of both the input contract and the output abstraction.
- Output to AT&T FSM format.

0.20 (April 8th, 2009)
- New multithreaded on-the-fly algorithm. Much faster!
- Output directly to png and pdf formats.
- Statistics.
- Cropping of actions.
- Ability of canonizing the output (useful for comparing old and new algorithm results).
- Transition or state uncertainty do to prover limited capacity is clearly marked in every type of output.

0.10a (December 30th, 2008)
- Very first public release of the Contractor tool under GPL version 3.

