SuccessChanges

Summary

  1. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details)
  2. Correct specification statement parse, fixes #708 (commit: 98065ea) (details)
  3. Add annotations.debug property to debug annotation parsing (commit: b94246e) (details)
  4. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) (details)
  5. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details)
  6. Allow renamed function imports to use reserved prefixes, fixes #711 (commit: 0f7f4cf) (details)
  7. Added #ifndef processing to LatexStreamReader (commit: 59da932) (details)
  8. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
  9. [maven-release-plugin] prepare release Release/2.7.4 (commit: ded1ba6) (details)
Commit 2412c37f17ef54d7977a9b0db3abb9804bcb23b5 by Peter W. V. Tran-Jørgensen
[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 2.7.3-SNAPSHOT
(commit: 2412c37)
The file was modifiedpom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/features/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedcore/testing/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/plugins/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedcore/ast/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedcore/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/help/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifieddocumentation/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
Commit 98065ea1627be9c41523b29176698b15161a3551 by nick.battle
Correct specification statement parse, fixes #708
(commit: 98065ea)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java
Commit b94246e3281031693e6254cd9b7127c827c4d4dd by nick.battle
Add annotations.debug property to debug annotation parsing
(commit: b94246e)
The file was modifiedcore/parser/src/main/java/org/overture/parser/annotations/ASTAnnotationAdapter.java
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java
The file was modifiedcore/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java
Commit 3ce92764dcba355ad948b8b73dd0791f4fb9a3fb by nick.battle
Fix #ifdef processing and move to properties, fixes #710
(commit: 3ce9276)
The file was modifiedide/vdmrt/ui/src/main/java/org/overture/ide/vdmrt/ui/editor/syntax/VdmRtKeywords.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMRT.java
The file was modifiedide/vdmsl/ui/src/main/java/org/overture/ide/vdmsl/ui/editor/syntax/VdmSlKeywords.java
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmSl.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMSL.java
The file was modifiedcore/parser/src/main/java/org/overture/parser/lex/LatexStreamReader.java
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmRt.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMPP.java
The file was modifiedide/vdmpp/ui/src/main/java/org/overture/ide/vdmpp/ui/editor/syntax/VdmPpKeywords.java
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmPp.java
Commit 348313a0b360f0bf65f81ea56a4671cf9c8d58c5 by nick.battle
Add checks for reserved word prefixes in definition names, fixes #711
(commit: 348313a)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/PatternReader.java
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/modules/DigraphSL
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java
The file was modifiedcore/parser/src/test/resources/specifications/sl/examples/DigraphSL
The file was modifiedcore/typechecker/src/test/resources/classesRT/oldcarradioRT
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
The file was modifiedcore/parser/src/test/resources/specifications/sl/examples/ACSSL
The file was modifiedcore/pog/src/test/resources/integration/legacy/adapted/ACSSL.vdmsl.result
The file was modifiedcore/pog/src/test/resources/integration/legacy/adapted/ACSSL.vdmsl
The file was modifiedcore/typechecker/src/test/resources/classesRT/CarNaviRadioRT
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ModuleReader.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/ExpressionReader.java
The file was modifiedcore/interpreter/src/test/resources/classesRTClassic/oldcarradioRT/oldcarradioRT.vdmrt
Commit 0f7f4cffbf9f80484313faf83f395ec5b56716e0 by nick.battle
Allow renamed function imports to use reserved prefixes, fixes #711
(commit: 0f7f4cf)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ModuleReader.java
Commit 59da932fafd307ed9139586b915fe4aa73b97651 by nick.battle
Added #ifndef processing to LatexStreamReader
(commit: 59da932)
The file was modifiedcore/parser/src/main/java/org/overture/parser/lex/LatexStreamReader.java
Commit 699e976a474418a6c5e6d910362296e5881bd648 by nick.battle
Correction to seq comprehensions to use "bind", see #692
(commit: 699e976)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/expression/ExpressionValueCollector.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/pog/src/main/java/org/overture/pog/contexts/POForAllContext.java
The file was modifiedcore/codegen/codegen-runtime/.gitignore
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/FreeVariablesChecker.java
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/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java
The file was modifiedcore/codegen/vdm2jml-runtime/.gitignore
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/OldNameCollector.java
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java
Commit ded1ba63f0e9bce36af5f6c1071305a3c33d40ee by idhugo
[maven-release-plugin] prepare release Release/2.7.4

Bump ide/ to version 2.7.4
(commit: ded1ba6)
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifieddocumentation/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedcore/testing/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedcore/ast/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedpom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedcore/parser/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/debug/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/pom.xml