Fixed implementation of TupleSelect PO and generation.
Fixed NonZero generation for corner case of x/0.
Fixed Operation Context Generation in concert with Implicit Op Satisfiability fix (cc6bd7 in COMPASS)
Merge remote-tracking branch 'origin/compass/development' into newpog
SubtypePO constructor is meant to be private.
Improved handling of Operatation Parameters in contexts.
Cloning function parameters when used in the pre condition
Printing PO kind in adhoctest.
Fixed result generation (should be exists not forall).
More cloning: cexp for case and notcase contexts.
Update version number to 2.0.0 for release
* Update the configuration for the inclusion of the user manuals
* Fix a type in the version update instructions
Check-pick documentation directory from docs branch at
#9c3f9f4c3f54768b871dbbafb65de55f6d611601
Update version to 2.0.1-SNAPSHOT for development
Merge branch 'astv2' into compass/development
This moves the base version of Overture for COMPASS to 2.0.1-SNAPSHOT
Merge commit 'ab8400481048c6584ffbd32154867dc4283f1c53' into kel/astv2
SubtypePO constructor is meant to be private.
Improved handling of Operatation Parameters in contexts.
Cloning function parameters when used in the pre condition
Printing PO kind in adhoctest.
Fixed result generation (should be exists not forall).
More cloning: cexp for case and notcase contexts.
preperation for use of build in THIS
restructured the Overture AST for functions and operations. The nodes are named the same but they now have operation/function parents. Fields are re-ordered
added listener interface for error/warning reporting