Version 3.1.0 (August 2014) - Textual editor - Improved error messages - Extended the grammar to allow binary operations and data method calls applied to an expression in brackets - Debugging framework - Introduced a seed to resolve non-determinism in the simulator