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]43 MB
 [Artifactory]43 MB
 [Artifactory]42 MB
 10 MB
 [Artifactory]42 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [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

Changes

#249 (Jul 1, 2020 11:30:55 AM)

  1. Disables breakpoints on non-debug launches (commit: a15548b) — idhugo / githubweb

#248 (Jun 30, 2020 8:29:38 PM)

  1. Removes the setting of SkipAllBreakpoints on non Debug Launches (commit: 91453bd) — idhugo / githubweb
  2. Updates the copyright (commit: 0b6f495) — idhugo / githubweb

#245 (Jun 24, 2020 10:55:44 AM)

  1. Adds logo to Welcome page (commit: c57d5af) — idhugo / githubweb

#244 (Jun 23, 2020 8:21:48 PM)

  1. Upgrades vulnerable dep (commit: c2119a9) — idhugo / githubweb

#243 (Jun 23, 2020 4:56:30 PM)

  1. Provide more accurate error location for predicates, fixes #732 (commit: 8ca5489) — nick.battle / githubweb

#242 (Jun 23, 2020 3:48:41 PM)

  1. Set module name for min/max parameters, fixes #722 (commit: 92aa706) — nick.battle / githubweb
  2. Added union order override warnings, fixes #723 (commit: c30d266) — nick.battle / githubweb
  3. Check for numeric types with unary + and -, fixes #724 (commit: 33a4bc1) — nick.battle / githubweb
  4. Added Serializable to LexComment, fixes #725 (commit: 7488a48) — nick.battle / githubweb
  5. Check sequence apply expression for seq(0), fixes #726 (commit: 092763f) — nick.battle / githubweb
  6. Don't define a RESULT symbol for void explicit operation postconditions, (commit: 348dfe8) — nick.battle / githubweb
  7. Fix maps with invariant typed domains, fixes #731 (commit: b265cea) — nick.battle / githubweb
  8. Add a hashCode to InvariantValue to return a constant for (commit: 6a89546) — nick.battle / githubweb
  9. Removes the resetting of enabled status for breakpoints (commit: aedace4) — idhugo / githubweb

#241 (May 15, 2020 10:00:35 PM)

  1. Do not report mutual recursion via pre/post expressions, fixes #719 (commit: 009b8d6) — nick.battle / githubweb
  2. Correct check for cyclic recursion, fixes #720 (commit: 4db56b7) — nick.battle / githubweb
  3. Update test results for recursive cycle check (commit: 1170f28) — nick.battle / githubweb
  4. Fixes #721 (commit: 41d4542) — idhugo / githubweb

#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