Up
collapse
0%
WDescription%
Build stability: All recent builds failed.0
Test Result: 4 tests failing out of a total of 6,916 tests.99
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 History
x
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Changes

#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

#140 (Jun 5, 2020 11:54:50 AM)

  1. Check sequence apply expression for seq(0), fixes #726 — nick.battle / githubweb

#139 (May 26, 2020 10:12:06 AM)

  1. Added Serializable to LexComment, fixes #725 — nick.battle / githubweb

#138 (May 25, 2020 9:50:37 PM)

  1. Check for numeric types with unary + and -, fixes #724 — nick.battle / githubweb

#137 (May 20, 2020 12:15:42 PM)

  1. Added union order override warnings, fixes #723 — nick.battle / githubweb

#136 (May 18, 2020 10:59:46 AM)

  1. Set module name for min/max parameters, fixes #722 — nick.battle / githubweb

#135 (May 16, 2020 10:49:51 AM)

  1. Fixes #721 — idhugo / githubweb

#134 (Apr 28, 2020 6:01:07 PM)

  1. Update test results for recursive cycle check — nick.battle / githubweb

#133 (Apr 28, 2020 6:00:10 PM)

  1. Correct check for cyclic recursion, fixes #720 — nick.battle / githubweb

#132 (Apr 28, 2020 1:15:18 PM)

  1. Do not report mutual recursion via pre/post expressions, fixes #719 — nick.battle / githubweb

#131 (Mar 17, 2020 10:32:05 AM)

  1. Replaces the oxygen repositories with the 2019-12 ones — idhugo / githubweb
  2. Bumps the Eclipse version from 4.7 to 4.14. — idhugo / githubweb
  3. Drops support to 32 bit versions. — idhugo / githubweb
  4. Replaces direct usage of Equinox DS bundle — idhugo / githubweb
  5. Added IR nodes and cases for ASetPattern and AUnionPattern. — ncdmz\jasim / githubweb
  6. Adds Overture 2.7.4 release notes — idhugo / githubweb
  7. Preparing the release of Overture 2.7.4 — idhugo / githubweb
  8. Revert "Merge pull request #714 from SamieJim/js/ir" — idhugo / githubweb
  9. [maven-release-plugin] prepare release Release/2.7.4 — idhugo / githubweb
  10. [maven-release-plugin] prepare for next development iteration — idhugo / githubweb

#130 (Mar 15, 2020 3:26:09 PM)

  1. Check for nil values in InvariantValue equalities, fixes #717 — nick.battle / githubweb

#129 (Mar 2, 2020 1:18:02 PM)

  1. Change (opaque) label to /* opaque */ — nick.battle / githubweb

#128 (Mar 2, 2020 12:45:25 PM)

  1. Add "opaque" label to types' toString — nick.battle / githubweb

#127 (Jan 7, 2020 3:08:50 PM)

  1. Correctly order type-bind generated invariant values, see #692 — nick.battle / githubweb

#126 (Jan 7, 2020 2:41:05 PM)

  1. Correction to seq comprehensions to use "bind", see #692 — nick.battle / githubweb

#125 (Jan 6, 2020 3:57:21 PM)

  1. Add expression and bind checks to exception checking, see #14 — nick.battle / githubweb

#124 (Jan 5, 2020 5:45:11 PM)

  1. Added some clones to TypeCompatabilityObligation, see #15 — nick.battle / githubweb

#123 (Jan 4, 2020 10:27:37 PM)

  1. Add a depth limit to recursive cycle searching, see #15 — nick.battle / githubweb

#122 (Jan 4, 2020 9:31:57 PM)

  1. Some corrections to mutual recursion checking, #15 — nick.battle / githubweb

#121 (Jan 4, 2020 7:30:07 PM)

  1. Added extra checks for exceptions, searching expressions. See #14 — nick.battle / githubweb

#120 (Jan 3, 2020 5:01:06 PM)

  1. Exit detection understands "is not yet specified" — nick.battle / githubweb

#119 (Jan 3, 2020 4:16:15 PM)

  1. Better resolution of apply function names, fixes #15 — nick.battle / githubweb

#106 (Dec 6, 2019 6:13:48 PM)

  1. Fix #ifdef processing and move to properties, fixes #710 — nick.battle / githubweb