Created temporary checker
More fixes
More tweaks.
Upated version number for latest release.
Created temporary checker
More fixes
More tweaks.
Fixed typo in test_104.wyal
Initial commit
Merge branch 'devel-smt' of github.com:hjwylde/whiley-compiler into devel-smt

Conflicts:
	modules/wycs/src/wycs/core/Types.wyrl
	modules/wycs/src/wycs/util/WycsBuildTask.java
Removed SMTVerificationCheck class
Optimisations and fixes

Added in length conjecture.

In-lined set constants.

Added in support for tuple constants via additional conditions to the
surrounding quantifier.

Added in optimisation for an assertion on a forall or exists.

Added in optimisation for a tuple load on a constant or known tuple
constructor.
Created temporary checker
More fixes
More tweaks.
Created temporary checker
Fixed typo in test_104.wyal
Initial commit
Optimisations and fixes

Added in length conjecture.

In-lined set constants.

Added in support for tuple constants via additional conditions to the
surrounding quantifier.

Added in optimisation for an assertion on a forall or exists.

Added in optimisation for a tuple load on a constant or known tuple
constructor.
Merge branch 'devel-smt' of github.com:hjwylde/whiley-compiler into devel-smt