Up
collapse
99%
WDescription%
Test Result: 4 tests failing out of a total of 1,906 tests.99
Build stability: No recent builds failed.100
Build History
x
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 1 MB
 5 KB
 1 MB
 1 MB

Changes

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

  1. Bump version number (commit: 185e89d) — hugodsmacedo / detail

#242 (Jun 23, 2020 3:49:14 PM)

  1. Set module name for min/max parameters, fixes #722 (commit: 92aa706) — nick.battle / detail
  2. Added union order override warnings, fixes #723 (commit: c30d266) — nick.battle / detail
  3. Check for numeric types with unary + and -, fixes #724 (commit: 33a4bc1) — nick.battle / detail
  4. Check sequence apply expression for seq(0), fixes #726 (commit: 092763f) — nick.battle / detail
  5. Don't define a RESULT symbol for void explicit operation postconditions, (commit: 348dfe8) — nick.battle / detail

#241 (May 15, 2020 10:01:07 PM)

  1. Do not report mutual recursion via pre/post expressions, fixes #719 (commit: 009b8d6) — nick.battle / detail
  2. Correct check for cyclic recursion, fixes #720 (commit: 4db56b7) — nick.battle / detail
  3. Update test results for recursive cycle check (commit: 1170f28) — nick.battle / detail

#239 (Mar 16, 2020 9:10:07 PM)

  1. [maven-release-plugin] prepare release Release/2.7.4 (commit: ded1ba6) — idhugo / detail
  2. [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) — idhugo / detail

#237 (Mar 16, 2020 6:32:56 PM)

  1. [maven-release-plugin] prepare release Release/2.7.4 (commit: 95c346a) — idhugo / detail
  2. [maven-release-plugin] prepare for next development iteration (commit: 038d781) — idhugo / detail

#234 (Mar 16, 2020 2:41:20 PM)

  1. [maven-release-plugin] prepare release Release/2.7.4 (commit: b08b0be) — idhugo / detail
  2. [maven-release-plugin] prepare for next development iteration (commit: 1bcfb8c) — idhugo / detail

#229 (Feb 12, 2020 7:04:39 PM)

  1. Correct recursive type check for function types, fixes #707 (commit: 59b42cc) — nick.battle / detail
  2. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) — nick.battle / detail
  3. Added warning for TypeComparator with ParameterTypes, fixes #562 (commit: 277c1b9) — nick.battle / detail
  4. Added coprights to ParameterFinder (commit: b19f3f9) — nick.battle / detail
  5. Allow state records to be imported as types (commit: aba0f48) — nick.battle / detail
  6. Fix check for exit statements, fixes #14 (commit: b6bcf40) — nick.battle / detail
  7. More fixes for #14 (commit: af5a48c) — nick.battle / detail
  8. Small fix for measure expressions, see #15 (commit: f5a67a6) — nick.battle / detail
  9. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) — nick.battle / detail
  10. Better resolution of apply function names, fixes #15 (commit: f8fa46c) — nick.battle / detail
  11. Exit detection understands "is not yet specified" (commit: 837029a) — nick.battle / detail
  12. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) — nick.battle / detail
  13. Some corrections to mutual recursion checking, #15 (commit: c357576) — nick.battle / detail
  14. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) — nick.battle / detail
  15. Add expression and bind checks to exception checking, see #14 (commit: 62ab12e) — nick.battle / detail
  16. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) — nick.battle / detail
  17. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) — nick.battle / detail

#227 (Oct 17, 2019 12:01:59 PM)

  1. Fix min_/max_ functions, fixes #706 (commit: c354db8) — nick.battle / detail