Up
collapse
100%
WDescription%
Build stability: No recent builds failed.100
Build History
x
 419 KB
 420 KB
 5 KB
 420 KB
 416 KB
 416 KB
 -
 416 KB
 416 KB
 416 KB
 416 KB
 417 KB
 417 KB
 417 KB
 417 KB
 416 KB
 416 KB
 416 KB
 416 KB
 415 KB
 415 KB
 415 KB
 415 KB
 415 KB
 429 KB

Changes

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

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

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

  1. Adds strict option to the launch configuration (commit: 915dddc) — idhugoid / detail

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

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

#265 (Aug 24, 2020 9:14:00 AM)

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

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

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

#261 (Aug 18, 2020 4:55:07 PM)

  1. Calls coverage before terminating the interpreter (commit: 4f23db6) — idhugoid / detail

#260 (Aug 18, 2020 3:46:58 PM)

  1. Calls coverage before terminating the interpreter (commit: 926d272) — idhugoid / detail

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

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

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

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

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

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

#254 (Aug 13, 2020 9:58:12 AM)

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

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

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

#251 (Aug 6, 2020 4:02:23 PM)

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

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

  1. Relativizes URI to the project files location. Fixes #721. (commit: 95a823a) — idhugo / detail
  2. Accomodates suggested problem resolution (commit: 8fd05a4) — idhugo / detail