UnstableChanges

Summary

  1. Set module name for min/max parameters, fixes #722 (commit: 92aa706) (details)
  2. Added union order override warnings, fixes #723 (commit: c30d266) (details)
  3. Check for numeric types with unary + and -, fixes #724 (commit: 33a4bc1) (details)
  4. Added Serializable to LexComment, fixes #725 (commit: 7488a48) (details)
  5. Check sequence apply expression for seq(0), fixes #726 (commit: 092763f) (details)
  6. Don't define a RESULT symbol for void explicit operation postconditions, (commit: 348dfe8) (details)
  7. Fix maps with invariant typed domains, fixes #731 (commit: b265cea) (details)
  8. Add a hashCode to InvariantValue to return a constant for (commit: 6a89546) (details)
  9. Removes the resetting of enabled status for breakpoints (commit: aedace4) (details)
Commit 92aa7063a551309f7fc3b1a738140dd668ac3588 by nick.battle
Set module name for min/max parameters, fixes #722
(commit: 92aa706)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ImplicitDefinitionFinder.java (diff)
Commit c30d266e249d96b3e6a920fdf9f08b28032400e4 by nick.battle
Added union order override warnings, fixes #723
(commit: c30d266)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
Commit 33a4bc1ea4510a09bda2bd7b1b7facb177c6d036 by nick.battle
Check for numeric types with unary + and -, fixes #724
(commit: 33a4bc1)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numplus/numplus-04.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numplus/numplus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-03.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numplus/numplus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-05.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numplus/numplus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
Commit 7488a48ad145d48a81c27de7b84847fb58226ece by nick.battle
Added Serializable to LexComment, fixes #725
(commit: 7488a48)
The file was modifiedcore/ast/src/main/java/org/overture/ast/lex/LexComment.java (diff)
Commit 092763f1cbe8d6e992b04e4c6cf21452f32793b4 by nick.battle
Check sequence apply expression for seq(0), fixes #726
(commit: 092763f)
The file was modifiedcore/testing/samples/src/test/resources/external/pog/sltest/exprtest/CORE/expr/applyexpr/applyexpr-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/applyexpr/applyexpr-03.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/applyexpr/applyexpr-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result (diff)
Commit 348dfe8452b28a1df7ecdcb650a97ca9855e1ed0 by nick.battle
Don't define a RESULT symbol for void explicit operation postconditions,
fixes #727
(commit: 348dfe8)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
Commit b265cea5f95d388eed2ab4fd41fff1fa1a6b14c0 by nick.battle
Fix maps with invariant typed domains, fixes #731
(commit: b265cea)
The file was modifiedcore/interpreter/src/test/resources/classesClassic/SAFERProofPP/SAFERProofPP.result (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/AllNamedValuesLocator.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/ValueMap.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java (diff)
Commit 6a89546809c5c3231196859ad7c4b5df494a2b95 by nick.battle
Add a hashCode to InvariantValue to return a constant for
equality-enabled values, fixes #731
(commit: 6a89546)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java (diff)
Commit aedace4285c7eb544d6677063067eb0ae54eebb4 by idhugo
Removes the resetting of enabled status for breakpoints

The SkipAllBreakpoints mode was reset at each debug launch because of
this line. Found together with @prasadtalasila.
(commit: aedace4)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)