[Jenkins]Jenkins

SuccessChanges

Summary

  1. Add version 2.6.4 release notes (details)
  2. Prepare release of Overture 2.6.4 (details)
  3. Correction to setExportType in various export nodes (details)
  4. Correct parse of tuple patterns (details)
  5. Fix issue with CG of tuple patterns (details)
  6. Java CG: fix issues with patterns in lambdas (details)
  7. Fix/relax Java CG of 'reverse' (details)
  8. Java CG: fix issue with seq binds in 'let be st' (details)
  9. Java CG enhancement: allow type binds in 'AForPatternBindStm' (details)
  10. Update version 2.6.4 release note (details)
  11. Java CG: fix issue with renaming of SL operations (details)
  12. [maven-release-plugin] prepare release Release/2.6.4 (details)
  13. [maven-release-plugin] prepare for next development iteration (details)
  14. Correct calculation of measure type for non-curried functions (details)
  15. Minor corrections for Java CG test result files (details)
  16. Support Java code-generation of polymotphic types (simple cases) (details)
The file was addeddocumentation/releasenotes/ReleaseNotes_2.6.4.md
Commit d0747fbf62d2fe4ad66239b43238ecf40e0b4044 by Peter W. V. Tran-Jørgensen
Prepare release of Overture 2.6.4
The file was modifiedoverture.release.properties (diff)
Commit 65547a46a1d930d6a5995cc45680bcc8390c74c0 by nick.battle
Correction to setExportType in various export nodes
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExportsVisitor.java (diff)
Commit 37ba23c857065bdbb495a9bb2a04322b680e0579 by nick.battle
Correct parse of tuple patterns
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/PatternReader.java (diff)
Commit f27df4c2c614454d12325410ccd7913ed2ee54da by Peter W. V. Tran-Jørgensen
Fix issue with CG of tuple patterns
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/RecordWithFieldOfUnknownType.vdmpp
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/patterns/PatternTrans.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/RecordWithFieldOfUnknownType.vdmpp.eval.result
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/RecordWithFieldOfUnknownType.vdmpp.result
Commit 8e79353d67928ef6b48eb5706d24f715bf5dbc73 by Peter W. V. Tran-Jørgensen
Java CG: fix issues with patterns in lambdas
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/IgnorePatternInLambda.vdmpp
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaClassCreatorBase.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/patterns/PatternTrans.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/IgnorePatternInLambda.vdmpp.eval.result
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/funcvalues/FuncValTrans.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/IgnorePatternInLambda.vdmpp.result
Commit 7a6599fe3ced9a125b24ab0188c6ae954636503c by Peter W. V. Tran-Jørgensen
Fix/relax Java CG of 'reverse'
Don't require the type of this expression to be a sequence type
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java (diff)
Commit 6e40fe1c3bf4bfe2742f4b1a62e51687e0a0f04c by Peter W. V. Tran-Jørgensen
Java CG: fix issue with seq binds in 'let be st'
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/LetBeStExpSeqBind.vdmpp
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/Exp2StmTrans.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/LetBeStExpSeqBind.vdmpp.result
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/LetBeStExpSeqBind.vdmpp.eval.result
Commit 294df5f9dfe48aa6fbe7354caf1f0616d0f25aec by Peter W. V. Tran-Jørgensen
Java CG enhancement: allow type binds in 'AForPatternBindStm'
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/ForPatternBindTypeBind.vdmpp
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/VdmAstJavaValidator.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/StmVisitorIR.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/ForPatternBindTypeBind.vdmpp.result
The file was addedcore/codegen/javagen/src/test/resources/pattern_specs/ForPatternBindTypeBind.vdmpp.eval.result
Commit 27908ccf8e6e60a109f04b6484a94511ba42bc93 by Peter W. V. Tran-Jørgensen
Update version 2.6.4 release note
Remove comment about MAC app signing
The file was modifieddocumentation/releasenotes/ReleaseNotes_2.6.4.md (diff)
Commit 918a802d0ba4cecfa3405a7769d17d94629fefca by Peter W. V. Tran-Jørgensen
Java CG: fix issue with renaming of SL operations
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/RenamedTrans.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/Renaming.vdmsl (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/Renaming.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/Renaming.vdmsl.eval.result (diff)
Commit 06adf5cf343bc5daa04c6adac7635573cc554157 by Peter W. V. Tran-Jørgensen
[maven-release-plugin] prepare release Release/2.6.4
Bump ide/ to version 2.6.4
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedide/features/rcp/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
Commit 27719a9d18c500ff2e73847cdb89bdca06d8f78f by Peter W. V. Tran-Jørgensen
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 2.6.5-SNAPSHOT
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedide/features/rcp/pom.xml (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
Commit 6ae976c8f84a813f732b973391ad448ad5b7af34 by nick.battle
Correct calculation of measure type for non-curried functions
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/type/AFunctionTypeAssistantTC.java (diff)
Commit 69a6a3c0c72f245a8f6f20de3ef061d050b32424 by Peter W. V. Tran-Jørgensen
Minor corrections for Java CG test result files
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpRatTrue.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpBoolFalse.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpIntTrue.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpNamedTypeInvariantRecursiveTypes.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpNat1False.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpNatTrue.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpCharFalse.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpNatUnionBool.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExp.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpCharTrue.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpNatFalse.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpNamedTypeInvariantUnionOfQuotes.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpTokenFalse.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpQuoteType.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpTokenTrue.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpBoolTrue.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpIntFalse.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpNat1True.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpRatFalse.vdmpp.eval.result (diff)
Commit 130dd811fee4fc52d8f0ea890b0b7ced73a42daf by Peter W. V. Tran-Jørgensen
Support Java code-generation of polymotphic types (simple cases)
Closes #691
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/VdmAstJavaValidator.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/complex_expressions/MethodInstantiation.vdmpp.result (diff)
The file was addedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result
The file was modifiedcore/codegen/javagen/src/test/resources/function_value_specs/MapAccessLetDecl.vdmpp.result (diff)
The file was addedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.eval.result
The file was addedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp
The file was modifiedcore/codegen/javagen/src/test/resources/specifications/TemplateTypes.vdmpp.result (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/IsExpSimplifyTrans.java (diff)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaFormat.java (diff)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaTransSeries.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/function_value_specs/FunctionComposeUncurried.vdmpp.result (diff)
The file was modifiedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Utils.java (diff)
The file was modifiedcore/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/LeafTypeCallTests.java (diff)
The file was addedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java
The file was modifiedcore/codegen/javagen/src/test/resources/function_value_specs/MapUncurried.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/concurrency_classics_specs/POP3_LogBased_Test1.vdmpp.result (diff)