Up
collapse
100%
WDescription%
Coverage: All coverage targets have been met. 100
Test Result: 0 tests failing out of a total of 21,698 tests.100
Coverage: All coverage targets have been met. 100
Coverage: All coverage targets have been met. 100
Coverage: All coverage targets have been met. 100
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Changes

#165 (Nov 16, 2020 4:41:21 PM)

  1. Make thread operations public and check access, fixes #765 — nick.battle / githubweb

#164 (Nov 11, 2020 9:19:33 PM)

  1. Convert map/seq apply argument types, fixes #764 — nick.battle / githubweb

#163 (Nov 11, 2020 11:18:28 AM)

  1. Avoids sending an empty internal tag causing troubles in the response parsing — idhugoid / githubweb
  2. Resumes a single thread only — idhugoid / githubweb
  3. Updates the view when a thread is waiting — idhugoid / githubweb
  4. Adds a check to avoid managing the console of external tools. Fixes #763 — idhugoid / githubweb
  5. Prepare Release 3.0.2 — idhugoid / githubweb
  6. Adjusts versions — idhugoid / githubweb
  7. [maven-release-plugin] prepare release Release/3.0.2 — idhugoid / githubweb
  8. [maven-release-plugin] prepare for next development iteration — idhugoid / githubweb

#162 (Nov 3, 2020 12:02:34 PM)

  1. Correct check of function parameter patterns and arguments, fixes #762 — nick.battle / githubweb

#161 (Oct 31, 2020 12:50:56 PM)

  1. Check for invariant types when converting function values, fixes #761 — nick.battle / githubweb

#160 (Oct 29, 2020 12:20:44 PM)

  1. Changes message on project settings — idhugoid / githubweb
  2. Adds strict checking to the parser/tc settings — idhugoid / githubweb
  3. Fixes a bug preventing the display of warnings — idhugoid / githubweb
  4. Use re-stated types in definition imports (see #760) — nick.battle / githubweb

#159 (Oct 19, 2020 1:36:04 PM)

  1. Fix the type definitions for pre and post conditions, fixes #740 — nick.battle / githubweb

#158 (Oct 5, 2020 11:36:03 PM)

  1. Pass element type into typecheck of set comprehensions, fixes #728 — nick.battle / githubweb

#157 (Oct 4, 2020 6:04:13 PM)

  1. Added warning for function value comparisons, fixes #739 — nick.battle / githubweb

#156 (Sep 30, 2020 4:12:14 PM)

  1. Fix FunctionValue comparisons to cope with free variables, fixes #739 — nick.battle / githubweb

#155 (Sep 10, 2020 11:17:48 PM)

  1. Added warnings for threadid, time and new expressions in function ctxts — nick.battle / githubweb

#154 (Sep 10, 2020 1:48:54 PM)

  1. Change warning number for let def impure operations — nick.battle / githubweb

#153 (Sep 10, 2020 1:17:49 PM)

  1. Adds use let def strict option to the project properties — idhugoid / githubweb

#152 (Sep 9, 2020 9:34:38 PM)

  1. Adds strict option to the launch configuration — idhugoid / githubweb
  2. Adds strict flag parsing to the interpreter command line — idhugoid / githubweb

#151 (Sep 7, 2020 8:29:24 PM)

  1. Put let RHS functional checks within -strict flag — nick.battle / githubweb

#150 (Sep 7, 2020 12:44:34 PM)

  1. Replaces the 2019-12 repositories with the 2020-09 ones — idhugoid / githubweb
  2. BUMPS the Eclipse version from 2019-12 to 2020-09 — idhugoid / githubweb
  3. Upgrades Tycho version — idhugoid / githubweb

#149 (Aug 29, 2020 5:16:50 PM)

  1. Better approach to recursive type resolution errors, fixes #735 — nick.battle / githubweb

#148 (Aug 29, 2020 11:26:01 AM)

  1. Adds release note — idhugoid / githubweb
  2. Bump versions — idhugoid / githubweb
  3. [maven-release-plugin] prepare release Release/3.0.0 — idhugoid / githubweb
  4. [maven-release-plugin] prepare for next development iteration — idhugoid / githubweb

#147 (Aug 28, 2020 4:09:54 PM)

  1. Calls coverage before terminating the interpreter — idhugoid / githubweb
  2. Bump examples changes — idhugoid / githubweb
  3. Merges external documentation submodule — idhugoid / githubweb
  4. Fix condition — idhugoid / githubweb
  5. Show VdmDebugConsole on top in the View — idhugoid / githubweb
  6. Moves the console for the current process to the front — idhugoid / githubweb
  7. Changes the interpreter startup — idhugoid / githubweb
  8. Prevent looping type resolution, fixes #735 — nick.battle / githubweb

#146 (Aug 14, 2020 6:25:09 PM)

  1. Brings the VDM console of a launch to the front of the view — idhugoid / githubweb
  2. Adds support for DBGP messages and Rmoves dead code — idhugoid / githubweb
  3. Checks whether the DBGP response has a value to print — idhugoid / githubweb

#145 (Aug 13, 2020 10:01:10 PM)

  1. Fix RecordValue.compareTo to call super.compareTo for different types, — nick.battle / githubweb

#144 (Aug 13, 2020 9:50:44 PM)

  1. Adds a Debug VDM perspective — idhugoid / githubweb
  2. Indents xml — idhugoid / githubweb
  3. Bump version number — idhugoid / githubweb
  4. Prints prompt only when the interpreter sends the evaluation result — idhugoid / githubweb
  5. Waits for result of coverage and prints message Fixes #716 — idhugoid / githubweb

#143 (Aug 5, 2020 3:55:07 PM)

  1. Relativizes URI to the project files location. Fixes #721. — idhugo / githubweb
  2. Adds outlines of VDM-SL AModuleModules AST nodes — idhugo / githubweb
  3. Updates copyright dates — idhugo / githubweb
  4. Accomodates suggested problem resolution — idhugo / githubweb
  5. Removes the resetting of enabled status for breakpoints — idhugo / githubweb
  6. Upgrades vulnerable dep — idhugo / githubweb
  7. Adds logo to Welcome page — idhugo / githubweb
  8. Removes the setting of SkipAllBreakpoints on non Debug Launches — idhugo / githubweb
  9. Updates the copyright — idhugo / githubweb
  10. Disables breakpoints on non-debug launches — idhugo / githubweb

#142 (Jun 23, 2020 4:53:18 PM)

  1. Fix maps with invariant typed domains, fixes #731 — nick.battle / githubweb
  2. Add a hashCode to InvariantValue to return a constant for — nick.battle / githubweb
  3. Provide more accurate error location for predicates, fixes #732 — nick.battle / githubweb

#141 (Jun 7, 2020 6:06:59 PM)

  1. Don't define a RESULT symbol for void explicit operation postconditions, — nick.battle / githubweb