UnstableChanges

Summary

  1. Add "opaque" label to types' toString (commit: 9b578ac) (details)
  2. Change (opaque) label to /* opaque */ (commit: b9a26fd) (details)
  3. Check for nil values in InvariantValue equalities, fixes #717 (commit: 9940f68) (details)
Commit 9b578acad03c5173de53e1314ab4257865493882 by nick.battle
Add "opaque" label to types' toString
(commit: 9b578ac)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring (diff)
Commit b9a26fd791ec5aa7a2409bceab833db93d30352f by nick.battle
Change (opaque) label to /* opaque */
(commit: b9a26fd)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring (diff)
Commit 9940f684a2c44cbf314b1d2333ed8b3b04a72e63 by nick.battle
Check for nil values in InvariantValue equalities, fixes #717
(commit: 9940f68)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java (diff)