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

Changes

#286 (Nov 11, 2020 4:02:02 PM)

  1. Replaces the 2020-09 repositories with the 2020-12 ones (commit: 621d166) — idhugoid / githubweb
  2. BUMPS the Eclipse version from 2020-09 to 2020-12 (commit: 802a53d) — idhugoid / githubweb

#285 (Nov 10, 2020 4:20:05 PM)

  1. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) — idhugoid / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 8f453e3) — idhugoid / githubweb

#284 (Nov 10, 2020 3:10:15 PM)

  1. Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) — idhugoid / githubweb
  2. Prepare Release 3.0.2 (commit: 0a7e3f3) — idhugoid / githubweb
  3. Adjusts versions (commit: 95e6f39) — idhugoid / githubweb

#281 (Nov 10, 2020 1:33:27 PM)

  1. [maven-release-plugin] prepare release Release/3.0.2 (commit: 63f0532) — idhugoid / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 54d948d) — idhugoid / githubweb

#280 (Nov 10, 2020 9:58:08 AM)

  1. Preparing the release of Overture 3.0.2 (commit: 634ac95) — idhugoid / githubweb

#279 (Nov 10, 2020 9:26:57 AM)

  1. Adds release notes (commit: 3bbf87c) — idhugoid / githubweb

#278 (Nov 4, 2020 10:28:42 AM)

  1. Check for invariant types when converting function values, fixes #761 (commit: b42facd) — nick.battle / githubweb
  2. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) — nick.battle / githubweb
  3. Adds a check to avoid managing the console of external tools (commit: 8fdfa29) — idhugoid / githubweb

#277 (Oct 30, 2020 5:21:39 PM)

  1. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) — nick.battle / githubweb
  2. Use re-stated types in definition imports (see #760) (commit: bd2643b) — nick.battle / githubweb
  3. Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) — idhugoid / githubweb
  4. Resumes a single thread only (commit: 79517f0) — idhugoid / githubweb
  5. Updates the view when a thread is waiting (commit: 89d3ef8) — idhugoid / githubweb

#276 (Oct 6, 2020 3:19:20 PM)

  1. Pass element type into typecheck of set comprehensions, fixes #728 (commit: 253f4ba) — nick.battle / githubweb

#275 (Oct 5, 2020 1:57:11 PM)

  1. Change warning number for let def impure operations (commit: f762e74) — nick.battle / githubweb
  2. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) — nick.battle / githubweb
  3. Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) — nick.battle / githubweb
  4. Added warning for function value comparisons, fixes #739 (commit: 90c955f) — nick.battle / githubweb
  5. Changes message on project settings (commit: db9f31e) — idhugoid / githubweb
  6. Adds strict checking to the parser/tc settings (commit: e6f41cf) — idhugoid / githubweb
  7. Fixes a bug preventing the display of warnings (commit: 90e0da5) — idhugoid / githubweb

#274 (Sep 10, 2020 9:45:20 AM)

  1. Adds use let def strict option to the project properties (commit: bca2a6a) — idhugoid / githubweb

#273 (Sep 8, 2020 3:59:20 PM)

  1. Adds strict flag parsing to the interpreter command line (commit: db2d546) — idhugoid / githubweb

#272 (Sep 8, 2020 3:48:23 PM)

  1. Changes the interpreter startup (commit: e7a1016) — idhugoid / githubweb
  2. Prevent looping type resolution, fixes #735 (commit: b576a75) — nick.battle / githubweb
  3. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) — nick.battle / githubweb
  4. Put let RHS functional checks within -strict flag (commit: 8791e1f) — nick.battle / githubweb
  5. Adds strict option to the launch configuration (commit: 915dddc) — idhugoid / githubweb

#271 (Aug 31, 2020 2:45:50 PM)

  1. Replaces the 2019-12 repositories with the 2020-09 ones (commit: 596cf18) — idhugoid / githubweb
  2. BUMPS the Eclipse version from 2019-12 to 2020-09 (commit: 4191f2c) — idhugoid / githubweb
  3. Upgrades Tycho version (commit: d544553) — idhugoid / githubweb

#269 (Aug 28, 2020 10:41:25 AM)

  1. Bump versions (commit: e380028) — idhugoid / githubweb
  2. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) — idhugoid / githubweb
  3. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) — idhugoid / githubweb

#268 (Aug 28, 2020 10:31:15 AM)

  1. Adds release note (commit: 1ddce8d) — idhugoid / githubweb

#266 (Aug 26, 2020 11:40:27 AM)

  1. Changes the interpreter startup (commit: e7a1016) — idhugoid / githubweb

#265 (Aug 24, 2020 9:13:39 AM)

  1. Moves the console for the current process to the front (commit: d945c81) — idhugoid / githubweb

#264 (Aug 21, 2020 4:14:38 PM)

  1. Fix condition (commit: 0dee778) — idhugoid / githubweb
  2. Show VdmDebugConsole on top in the View (commit: 52901b2) — idhugoid / githubweb

#263 (Aug 19, 2020 10:39:48 AM)

  1. Merges external documentation submodule (commit: 03c5f3e) — idhugoid / githubweb

#262 (Aug 18, 2020 8:07:53 PM)

  1. Bump examples changes (commit: 509904f) — idhugoid / githubweb