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

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

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.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.30 (August 13th, 2009)
- GUI-less version for the web
