collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 8,372 tests.100
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]10 MB
 3 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [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

Changes

#258 (Aug 14, 2020 3:39:33 PM)

  1. Checks whether the DBGP response has a value to print (commit: 7ef5f51) — idhugoid / githubweb

#257 (Aug 14, 2020 3:10:40 PM)

  1. Adds support for DBGP messages and Rmoves dead code (commit: a46e1d4) — idhugoid / githubweb

#256 (Aug 14, 2020 2:41:12 PM)

  1. Brings the VDM console of a launch to the front of the view (commit: 1e83f91) — idhugoid / githubweb

#254 (Aug 13, 2020 9:57:30 AM)

  1. Waits for result of coverage and prints message Fixes #716 (commit: 134c0be) — idhugoid / githubweb

#253 (Aug 11, 2020 3:39:19 PM)

  1. Prints prompt only when the interpreter sends the evaluation result (commit: 1afdbcd) — idhugoid / githubweb

#252 (Aug 7, 2020 2:31:04 PM)

  1. Indents xml (commit: 7b53e3c) — idhugoid / githubweb
  2. Bump version number (commit: 185e89d) — idhugoid / githubweb

#251 (Aug 6, 2020 4:01:56 PM)

  1. Adds a Debug VDM perspective (commit: 989a70c) — idhugoid / githubweb

#250 (Aug 5, 2020 10:52:22 AM)

  1. Relativizes URI to the project files location. Fixes #721. (commit: 95a823a) — idhugo / githubweb
  2. Adds outlines of VDM-SL AModuleModules AST nodes (commit: 94fc7cb) — idhugo / githubweb
  3. Updates copyright dates (commit: 1ea05fd) — idhugo / githubweb
  4. Accomodates suggested problem resolution (commit: 8fd05a4) — idhugo / githubweb

#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