A lot of new features have been added and a lot of bugs have been fixed.
The most prominent changes are:
- resume abbility added to analyze incomplete or template code,
- compile-time control flow analysis,
- a new Swing-based demo application,
- added a property to activate/deactivate assert statement handling,
- bug fixes for some printing, parsing and transformation issues.