*******************************************************
release 2.5.0    (2012-08-21)

- Partial code refactoring.
- Added experimental and ongoing features (import from and export to GML, depth first exploration).
- Options: Merging is still not enabled by default; inverted options "-no-log" and "-no-log" to "-with-dot" and "-with-log". "-post-limit" becomes "-depth-limit".
	

*******************************************************
release 2.4    (2012-02-20)

- Added stopwatches. Syntax, semantics and computation time are backward-compatible for models without stopwatches.

*******************************************************
release 2.3    (2011-06-06)

- Addition of variants of the inverse method algorithm
- Addition of an optional optimization of the inverse method algorithm
- Several optimizations to speed up post image computation

*******************************************************
release 2.2    (2010-07-30)

- Several optimizations to speed up post image computation
- More detailed presentation of reachability graph
- Graphical output of behavioral cartography
- Refactoring of source code to improve maintainability

*******************************************************
release 2.1    (2010-05-31)

- Replaced APRON and POLKA libraries by PPL (Parma Polyhedra Library)

*******************************************************
release 2.0    (2010-05-17)

Base version
*******************************************************
