collapse
20%
WDescription%
Build stability: 4 out of the last 5 builds failed.20
Test Result: 4 tests failing out of a total of 6,916 tests.99
Coverage: All coverage targets have been met. 100
Coverage: All coverage targets have been met. 100
Coverage: All coverage targets have been met. 100
Coverage: All coverage targets have been met. 100
Build History
x
 
 
 
 
 

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