collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 2,477 tests.100
Build stability: No recent builds failed.100
Build History
x
 6 MB
 6 MB

Changes

#28 (Mar 16, 2020 9:43:59 PM)

  1. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) — Peter W. V. Tran-Jørgensen / githubweb
  2. Fix bug with import type mismatch with export (commit: 03c6582) — nick.battle / githubweb
  3. Corrected retrieval of nat values to allow 0 (commit: ab0e2dc) — simon.fraser / githubweb
  4. Suppress details as well as messages in VDMError when suspended (commit: b652fba) — nick.battle / githubweb
  5. Fix min_/max_ functions, fixes #706 (commit: c354db8) — nick.battle / githubweb
  6. Correct recursive type check for function types, fixes #707 (commit: 59b42cc) — nick.battle / githubweb
  7. Correct specification statement parse, fixes #708 (commit: 98065ea) — nick.battle / githubweb
  8. Added stack overflow handing, fixes #709 (commit: c29570c) — nick.battle / githubweb
  9. More sensible file handling in CommandReader (commit: bdedb54) — nick.battle / githubweb
  10. Improved stack overflow handling, fixes #709 (commit: 3ead045) — nick.battle / githubweb
  11. Improved stack overflow stack printing, fixes #709 (commit: b5fcc49) — nick.battle / githubweb
  12. Add annotations.debug property to debug annotation parsing (commit: b94246e) — nick.battle / githubweb
  13. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) — nick.battle / githubweb
  14. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) — nick.battle / githubweb
  15. Allow renamed function imports to use reserved prefixes, fixes #711 (commit: 0f7f4cf) — nick.battle / githubweb
  16. Added warning for TypeComparator with ParameterTypes, fixes #562 (commit: 277c1b9) — nick.battle / githubweb
  17. Added coprights to ParameterFinder (commit: b19f3f9) — nick.battle / githubweb
  18. Allow state records to be imported as types (commit: aba0f48) — nick.battle / githubweb
  19. Added #ifndef processing to LatexStreamReader (commit: 59da932) — nick.battle / githubweb
  20. Corrected toString for seq binds, fixes #651 (commit: ce53cc1) — nick.battle / githubweb
  21. Added #ifndef keyword (commit: 34989bc) — nick.battle / githubweb
  22. Fix check for exit statements, fixes #14 (commit: b6bcf40) — nick.battle / githubweb
  23. More fixes for #14 (commit: af5a48c) — nick.battle / githubweb
  24. Small fix for measure expressions, see #15 (commit: f5a67a6) — nick.battle / githubweb
  25. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) — nick.battle / githubweb
  26. Better resolution of apply function names, fixes #15 (commit: f8fa46c) — nick.battle / githubweb
  27. Exit detection understands "is not yet specified" (commit: 837029a) — nick.battle / githubweb
  28. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) — nick.battle / githubweb
  29. Some corrections to mutual recursion checking, #15 (commit: c357576) — nick.battle / githubweb
  30. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) — nick.battle / githubweb
  31. Added some clones to TypeCompatabilityObligation, see #15 (commit: 759f6ff) — nick.battle / githubweb
  32. Add expression and bind checks to exception checking, see #14 (commit: 62ab12e) — nick.battle / githubweb
  33. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) — nick.battle / githubweb
  34. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) — nick.battle / githubweb
  35. Added IR nodes and cases for ASetPattern and AUnionPattern. (commit: b83f224) — ncdmz\jasim / githubweb
  36. Add "opaque" label to types' toString (commit: 9b578ac) — nick.battle / githubweb
  37. Change (opaque) label to /* opaque */ (commit: b9a26fd) — nick.battle / githubweb
  38. Check for nil values in InvariantValue equalities, fixes #717 (commit: 9940f68) — nick.battle / githubweb
  39. Adds Overture 2.7.4 release notes (commit: b987cb2) — idhugo / githubweb
  40. Preparing the release of Overture 2.7.4 (commit: a11b547) — idhugo / githubweb
  41. Revert "Merge pull request #714 from SamieJim/js/ir" (commit: 908057e) — idhugo / githubweb
  42. [maven-release-plugin] prepare release Release/2.7.4 (commit: ded1ba6) — idhugo / githubweb

#27 (Sep 30, 2019 11:14:52 AM)

  1. [maven-release-plugin] prepare for next development iteration (commit: c81fed3) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add link to the release procedure in the README (commit: 3740b75) — Peter W. V. Tran-Jørgensen / githubweb
  3. Update Eclipse update sites (commit: 0932785) — Peter W. V. Tran-Jørgensen / githubweb
  4. Small fix to mu error reporting locations (commit: 3c9dff9) — nick.battle / githubweb
  5. Added @OnFail annotation (commit: fdd6d7b) — nick.battle / githubweb
  6. Add LexLocation and newline to @OnFail output (commit: 39ec758) — nick.battle / githubweb
  7. Correct annotation parse to be tight and warn about missing brackets (commit: 119c936) — nick.battle / githubweb
  8. Add isBracketed flag to annotations (commit: 99fc3db) — nick.battle / githubweb
  9. Use "$" in format to control @OnFail location printing (commit: be49527) — nick.battle / githubweb
  10. Added PO for non-nil values in binary comparisons (commit: de71405) — nick.battle / githubweb
  11. Correction to annotatated expression parsing (commit: c7e4846) — nick.battle / githubweb
  12. Add Overture 2.7.2 release notes (commit: 270685f) — Peter W. V. Tran-Jørgensen / githubweb
  13. Prepare release of version 2.7.2 (commit: 2cd1398) — Peter W. V. Tran-Jørgensen / githubweb
  14. [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) — Peter W. V. Tran-Jørgensen / githubweb