Changes

#5 (Jun 2, 2020 2:54:25 PM)

1. Updates copyright dates — idhugo / githubweb
2. Accomodates suggested problem resolution — idhugo / githubweb

#4 (Jun 2, 2020 12:30:14 PM)

1. Adds outlines of VDM-SL AModuleModules AST nodes — idhugo / githubweb

#3 (May 26, 2020 12:04:11 PM)

1. Added IR nodes and cases for ASetPattern and AUnionPattern. — ncdmz\jasim / githubweb
2. Add "opaque" label to types' toString — nick.battle / githubweb
3. Change (opaque) label to /* opaque */ — nick.battle / githubweb
4. Check for nil values in InvariantValue equalities, fixes #717 — nick.battle / githubweb
5. Adds Overture 2.7.4 release notes — idhugo / githubweb
6. Preparing the release of Overture 2.7.4 — idhugo / githubweb
7. Revert "Merge pull request #714 from SamieJim/js/ir" — idhugo / githubweb
8. [maven-release-plugin] prepare release Release/2.7.4 — idhugo / githubweb
9. [maven-release-plugin] prepare for next development iteration — idhugo / githubweb
10. Do not report mutual recursion via pre/post expressions, fixes #719 — nick.battle / githubweb
11. Correct check for cyclic recursion, fixes #720 — nick.battle / githubweb
12. Update test results for recursive cycle check — nick.battle / githubweb
13. Fixes #721 — idhugo / githubweb
14. Relativizes URI to the project files location. Fixes #721. — idhugo / githubweb