UnstableChanges

Summary

  1. Correct recursive type check for function types, fixes #707 (commit: 59b42cc) (details)
  2. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details)
  3. Added warning for TypeComparator with ParameterTypes, fixes #562 (commit: 277c1b9) (details)
  4. Added coprights to ParameterFinder (commit: b19f3f9) (details)
  5. Allow state records to be imported as types (commit: aba0f48) (details)
  6. Fix check for exit statements, fixes #14 (commit: b6bcf40) (details)
  7. More fixes for #14 (commit: af5a48c) (details)
  8. Small fix for measure expressions, see #15 (commit: f5a67a6) (details)
  9. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) (details)
  10. Better resolution of apply function names, fixes #15 (commit: f8fa46c) (details)
  11. Exit detection understands "is not yet specified" (commit: 837029a) (details)
  12. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) (details)
  13. Some corrections to mutual recursion checking, #15 (commit: c357576) (details)
  14. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) (details)
  15. Add expression and bind checks to exception checking, see #14 (commit: 62ab12e) (details)
  16. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
  17. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) (details)
Commit 59b42cc9148c8035ebc7994c0693b8ff5fee77eb by nick.battle
Correct recursive type check for function types, fixes #707
(commit: 59b42cc)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java
Commit 348313a0b360f0bf65f81ea56a4671cf9c8d58c5 by nick.battle
Add checks for reserved word prefixes in definition names, fixes #711
(commit: 348313a)
The file was modifiedcore/pog/src/test/resources/integration/legacy/adapted/ACSSL.vdmsl.result
The file was modifiedcore/parser/src/test/resources/specifications/sl/examples/DigraphSL
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/letexpr/letexpr-23.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/ACSSL
The file was modifiedcore/typechecker/src/test/resources/classesRT/CarNaviRadioRT
The file was modifiedcore/typechecker/src/test/resources/classesRT/oldcarradioRT
The file was modifiedcore/pog/src/test/resources/integration/legacy/adapted/ACSSL.vdmsl
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java
The file was modifiedcore/parser/src/test/resources/specifications/rt/examples/oldcarradioRT
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/PatternReader.java
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java
The file was modifiedcore/parser/src/test/resources/specifications/sl/examples/ACSSL
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ModuleReader.java
The file was modifiedcore/interpreter/src/test/resources/classesRTClassic/oldcarradioRT/oldcarradioRT.vdmrt
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java
The file was modifiedcore/parser/src/test/resources/specifications/rt/examples/CarNaviRadioRT
Commit 277c1b95f6bfbb8cdd953934315c4d561d219a61 by nick.battle
Added warning for TypeComparator with ParameterTypes, fixes #562
(commit: 277c1b9)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules17/modules17.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/pog/sltest/fulltest/CORE/extexplfndef/extexplfndef-01.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/modules17/modules17.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/pog/pptest/fulltest/PP/fundefpp/fundefpp-02.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/fcttypeinstexpr/fcttypeinstexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/extexplfndef/extexplfndef.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/extexplfndef/extexplfndef.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/LexNameTokenAssistant.java
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/ParameterFinder.java
The file was modifiedcore/testing/samples/src/test/resources/external/pog/pptest/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/pog/sltest/fulltest/CORE/fundefsl/fundefsl-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/fcttypeinstexpr/fcttypeinstexpr-03.vdm.result
Commit b19f3f9d838d1313e959667e8300bb090d220d5e by nick.battle
Added coprights to ParameterFinder
(commit: b19f3f9)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/ParameterFinder.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
Commit aba0f48b66445c19c0f893c3a272f92f32301b6c by nick.battle
Allow state records to be imported as types
(commit: aba0f48)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerImportsVisitor.java
Commit b6bcf403a45e55912d143655084c76c0081e98e6 by nick.battle
Fix check for exit statements, fixes #14
(commit: b6bcf40)
The file was modifiedcore/codegen/javagen/src/test/resources/cloning_specs/CashDispenserPP.vdmpp.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/codegen/javagen/src/test/resources/classic_specs/CashDispenserPP.vdmpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/codegen/javagen/src/test/resources/concurrency_classics_specs/POP3_LogBased_Test1.vdmpp.result
The file was modifiedcore/ast/src/main/java/org/overture/ast/util/PTypeComparator.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
Commit af5a48cda69a69ea863281271f5c95cf7a7a5e8f by nick.battle
More fixes for #14
(commit: af5a48c)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
Commit f5a67a6a14c61039fffb4532065978b78b3e9313 by nick.battle
Small fix for measure expressions, see #15
(commit: f5a67a6)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
Commit 228447e11a1b148129d2a8d82f488ca53640d037 by nick.battle
First cut changes for mutual recursive TCs, fixes #15
(commit: 228447e)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/recursiveSL.vdmsl.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/applyexpr/applyexpr-17.vdm.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/expressSL.vdmsl.result
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/recursiveSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/pog/src/test/resources/micro/pos/FunctionApply.vdmsl.result
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/LUPSLSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/pacemakerSL.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/DFDexampleSL.vdmsl.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/raildirSL.vdmsl.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/classes/CodegenPP.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/BOMSL.vdmsl.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/pacemakerSL.vdmsl.result
The file was modifiedcore/typechecker/src/test/resources/classes/treePP.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/SAFERSL.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/pp/diet2japanPP.vdmpp.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/realmSL.vdmsl.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-05.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/extexplfndef/extexplfndef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/PlannerSL.vdmsl.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.java
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/RecursiveLoops.java
The file was modifiedcore/typechecker/src/test/resources/modules/PlannerSL.result
The file was modifiedcore/pog/src/main/java/org/overture/pog/obligation/RecursiveObligation.java
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/MAASL.vdmsl.result
The file was modifiedcore/pog/src/test/resources/micro/pos/NonEmptySeq.vdmsl.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
Commit f8fa46c0425fa8a9aa58d6fe44adaba24280070f by nick.battle
Better resolution of apply function names, fixes #15
(commit: f8fa46c)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-08.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/RecursiveLoops.java
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.java
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/classes/treePP.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result
Commit 837029abe50923fc94dbf57b96c58b1ceb43ba93 by nick.battle
Exit detection understands "is not yet specified"
(commit: 837029a)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java
Commit f11015a4e1516c0cff57adf2b9a7c6b2380a2fed by nick.battle
Added extra checks for exceptions, searching expressions. See #14
(commit: f11015a)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-17.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-08.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-09.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/ifstmt/if-18.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/ifstmt/if-17.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/setdistrunion/setdistrunion-05.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was addedcore/codegen/vdm2jml-runtime/.gitignore
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
The file was addedcore/codegen/ir/.gitignore
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was addedcore/codegen/codegen-runtime/.gitignore
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recordexpr/recordexpr-10.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/typejudgement/typejudgement-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-18.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/simple-blockstmt/blockstmt-07.vdm.result
The file was modifiedcore/codegen/javagen/src/test/resources/var_shadowing_specs/TrapStmTuplePattern.vdmpp
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-18.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-16.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was addedcore/codegen/isagen/.gitignore
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/setdistrunion/setdistrunion-05.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-19.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recmodify/recmodify-11.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/casesstmt/casesstmt-16.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/setcomp/setcomp-09.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
Commit c3575766edeea094a15564d99056201ba2f0113a by nick.battle
Some corrections to mutual recursion checking, #15
(commit: c357576)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.java
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/RecursiveLoops.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
Commit d2ee23f5c8ecb8c9055f79669e7f40d530d268fe by nick.battle
Add a depth limit to recursive cycle searching, see #15
(commit: d2ee23f)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/RecursiveLoops.java
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/BOMSL.vdmsl.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
Commit 62ab12e0ffab72fdc55b3eff6693c946e9242b6e by nick.battle
Add expression and bind checks to exception checking, see #14
(commit: 62ab12e)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/typejudgement/typejudgement-03.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/setcomp/setcomp-09.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recordexpr/recordexpr-10.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-18.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/ifstmt/if-18.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recmodify/recmodify-11.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-19.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-09.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/assistant/expression/PExpAssistantTC.java
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-08.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-18.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/simple-blockstmt/blockstmt-07.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
Commit 699e976a474418a6c5e6d910362296e5881bd648 by nick.battle
Correction to seq comprehensions to use "bind", see #692
(commit: 699e976)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/OldNameCollector.java
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java
The file was modifiedcore/pog/src/main/java/org/overture/pog/contexts/POForAllContext.java
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/FreeVariablesChecker.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/expression/ExpressionValueCollector.java
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java
The file was modifiedcore/codegen/vdm2jml-runtime/.gitignore
The file was modifiedcore/codegen/codegen-runtime/.gitignore
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java
Commit 51351ae505504fd4bef82f2c2b0429c7bd876f42 by nick.battle
Correctly order type-bind generated invariant values, see #692
(commit: 51351ae)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/type/AllValuesCollector.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java