collapse
99%
WDescription%
Test Result: 17 tests failing out of a total of 8,372 tests.99
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
 [Artifactory]43 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]43 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 542 KB
 [Artifactory]42 MB
 [Artifactory]42 MB
 10 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]43 MB
 [Artifactory]43 MB

Changes

#240 (Mar 16, 2020 10:53:49 PM)

  1. Replaces the oxygen repositories with the 2019-12 ones (commit: 972e1fe) — idhugo / githubweb
  2. Bumps the Eclipse version from 4.7 to 4.14. (commit: 45f6a8d) — idhugo / githubweb
  3. Drops support to 32 bit versions. (commit: babf8a6) — idhugo / githubweb
  4. Replaces direct usage of Equinox DS bundle (commit: 1b8095b) — idhugo / githubweb

#239 (Mar 16, 2020 9:09:45 PM)

  1. [maven-release-plugin] prepare release Release/2.7.4 (commit: ded1ba6) — idhugo / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) — idhugo / githubweb

#237 (Mar 16, 2020 6:32:38 PM)

  1. [maven-release-plugin] prepare release Release/2.7.4 (commit: 95c346a) — idhugo / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 038d781) — idhugo / githubweb

#234 (Mar 16, 2020 2:41:02 PM)

  1. Revert "Merge pull request #714 from SamieJim/js/ir" (commit: 908057e) — idhugo / githubweb
  2. [maven-release-plugin] prepare release Release/2.7.4 (commit: b08b0be) — idhugo / githubweb
  3. [maven-release-plugin] prepare for next development iteration (commit: 1bcfb8c) — idhugo / githubweb

#233 (Mar 16, 2020 11:40:58 AM)

  1. Adds Overture 2.7.4 release notes (commit: b987cb2) — idhugo / githubweb
  2. Preparing the release of Overture 2.7.4 (commit: a11b547) — idhugo / githubweb

#232 (Mar 16, 2020 10:52:50 AM)

  1. Add "opaque" label to types' toString (commit: 9b578ac) — nick.battle / githubweb
  2. Change (opaque) label to /* opaque */ (commit: b9a26fd) — nick.battle / githubweb
  3. Check for nil values in InvariantValue equalities, fixes #717 (commit: 9940f68) — nick.battle / githubweb

#231 (Feb 26, 2020 7:16:13 PM)

  1. Added IR nodes and cases for ASetPattern and AUnionPattern. (commit: b83f224) — ncdmz\jasim / githubweb

#229 (Feb 12, 2020 7:04:25 PM)

  1. Correct recursive type check for function types, fixes #707 (commit: 59b42cc) — nick.battle / githubweb
  2. Correct specification statement parse, fixes #708 (commit: 98065ea) — nick.battle / githubweb
  3. Added stack overflow handing, fixes #709 (commit: c29570c) — nick.battle / githubweb
  4. More sensible file handling in CommandReader (commit: bdedb54) — nick.battle / githubweb
  5. Improved stack overflow handling, fixes #709 (commit: 3ead045) — nick.battle / githubweb
  6. Improved stack overflow stack printing, fixes #709 (commit: b5fcc49) — nick.battle / githubweb
  7. Add annotations.debug property to debug annotation parsing (commit: b94246e) — nick.battle / githubweb
  8. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) — nick.battle / githubweb
  9. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) — nick.battle / githubweb
  10. Allow renamed function imports to use reserved prefixes, fixes #711 (commit: 0f7f4cf) — nick.battle / githubweb
  11. Added warning for TypeComparator with ParameterTypes, fixes #562 (commit: 277c1b9) — nick.battle / githubweb
  12. Added coprights to ParameterFinder (commit: b19f3f9) — nick.battle / githubweb
  13. Allow state records to be imported as types (commit: aba0f48) — nick.battle / githubweb
  14. Added #ifndef processing to LatexStreamReader (commit: 59da932) — nick.battle / githubweb
  15. Corrected toString for seq binds, fixes #651 (commit: ce53cc1) — nick.battle / githubweb
  16. Added #ifndef keyword (commit: 34989bc) — nick.battle / githubweb
  17. Fix check for exit statements, fixes #14 (commit: b6bcf40) — nick.battle / githubweb
  18. More fixes for #14 (commit: af5a48c) — nick.battle / githubweb
  19. Small fix for measure expressions, see #15 (commit: f5a67a6) — nick.battle / githubweb
  20. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) — nick.battle / githubweb
  21. Better resolution of apply function names, fixes #15 (commit: f8fa46c) — nick.battle / githubweb
  22. Exit detection understands "is not yet specified" (commit: 837029a) — nick.battle / githubweb
  23. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) — nick.battle / githubweb
  24. Some corrections to mutual recursion checking, #15 (commit: c357576) — nick.battle / githubweb
  25. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) — nick.battle / githubweb
  26. Added some clones to TypeCompatabilityObligation, see #15 (commit: 759f6ff) — nick.battle / githubweb
  27. Add expression and bind checks to exception checking, see #14 (commit: 62ab12e) — nick.battle / githubweb
  28. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) — nick.battle / githubweb
  29. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) — nick.battle / githubweb

#227 (Oct 17, 2019 12:01:34 PM)

  1. Fix min_/max_ functions, fixes #706 (commit: c354db8) — nick.battle / githubweb

#226 (Oct 16, 2019 1:37:06 PM)

  1. Fix bug with import type mismatch with export (commit: 03c6582) — nick.battle / githubweb
  2. Suppress details as well as messages in VDMError when suspended (commit: b652fba) — nick.battle / githubweb

#225 (Oct 16, 2019 12:44:47 PM)

  1. Corrected retrieval of nat values to allow 0 (commit: ab0e2dc) — simon.fraser / githubweb

#224 (Sep 30, 2019 9:28:01 AM)

  1. [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) — Peter W. V. Tran-Jørgensen / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) — Peter W. V. Tran-Jørgensen / githubweb

#223 (Sep 30, 2019 8:52:01 AM)

  1. Add Overture 2.7.2 release notes (commit: 270685f) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of version 2.7.2 (commit: 2cd1398) — Peter W. V. Tran-Jørgensen / githubweb

#222 (Sep 29, 2019 4:38:47 PM)

  1. Correction to annotatated expression parsing (commit: c7e4846) — nick.battle / githubweb

#220 (Sep 19, 2019 4:10:35 PM)

  1. Added PO for non-nil values in binary comparisons (commit: de71405) — nick.battle / githubweb

#219 (Sep 16, 2019 1:02:46 PM)

  1. Correct annotation parse to be tight and warn about missing brackets (commit: 119c936) — nick.battle / githubweb
  2. Add isBracketed flag to annotations (commit: 99fc3db) — nick.battle / githubweb
  3. Use "$" in format to control @OnFail location printing (commit: be49527) — nick.battle / githubweb

#218 (Sep 9, 2019 1:48:30 PM)

  1. Fix broken javadoc causing release problems (commit: f18ce03) — Peter W. V. Tran-Jørgensen / githubweb
  2. [maven-release-plugin] prepare release Release/2.7.0 (commit: a90cc7b) — Peter W. V. Tran-Jørgensen / githubweb
  3. [maven-release-plugin] prepare for next development iteration (commit: c81fed3) — Peter W. V. Tran-Jørgensen / githubweb
  4. Add link to the release procedure in the README (commit: 3740b75) — Peter W. V. Tran-Jørgensen / githubweb
  5. Update Eclipse update sites (commit: 0932785) — Peter W. V. Tran-Jørgensen / githubweb
  6. Small fix to mu error reporting locations (commit: 3c9dff9) — nick.battle / githubweb
  7. Added @OnFail annotation (commit: fdd6d7b) — nick.battle / githubweb
  8. Add LexLocation and newline to @OnFail output (commit: 39ec758) — nick.battle / githubweb

#217 (Jun 3, 2019 10:10:15 AM)

  1. Add Overture 2.7.0 release notes (commit: fbbab7a) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of Overture 2.7.0 (commit: cd47638) — Peter W. V. Tran-Jørgensen / githubweb

#216 (May 16, 2019 10:16:55 AM)

  1. Add correction to TypeComparator for one-type unions (commit: d234c71) — nick.battle / githubweb
  2. Set the type of narrow_ nodes correctly (commit: d8ed674) — nick.battle / githubweb