SuccessChanges

Summary

  1. Updated product definition for VIATRA 1.4.0 (details)
  2. Updated CPS dependencies for VIATRA 1.4.0 (details)
  3. CPS dependency update for VIATRA 1.4 (details)
  4. Updated CPS dependencies for VIATRA 1.4.0 - step 4 (details)
  5. [495681] Turned the tests back on after fix has been merged (details)
  6. [495681] Unnecessary import removed (details)
  7. [CPS] update setup to 1.4 version (details)
  8. [496166] Run CPS tests with VariableBindingBasedCostFunction (details)
  9. [465698] Testing LS with flattening disabled (details)
  10. [465698] executing CPS benchmark tests with flattening disabled. (details)
  11. Updates to the dse bpmn example (details)
  12. Bpmn example - stop after 50 solutions (details)
  13. [498858] modified CPS genmodels to allow extending the generated editors (details)
  14. [499027] Added simple tests for NavigationHelper implementation (details)
Commit 0b3153605f92b2f2297b374636face2ab6b048ba by Zoltan Ujhelyi
Updated product definition for VIATRA 1.4.0
The file was modifiedcps/frameworktests/org.eclipse.viatra.gui.tests.product/viatra_product.product
Commit fa654d80676f7d6633b19ad7ed5087e99fe54ed0 by Zoltan Ujhelyi
Updated CPS dependencies for VIATRA 1.4.0
The file was modifiedcps/addons/org.eclipse.viatra.examples.cps.view/META-INF/MANIFEST.MF
Commit 7c2d4388414acc24b3def9024ca37e207e2ebf18 by Zoltan Ujhelyi
CPS dependency update for VIATRA 1.4
The file was modifiedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/META-INF/MANIFEST.MF
Commit df282898fd3924c91472d625f66cfca7be303ff8 by Zoltan Ujhelyi
Updated CPS dependencies for VIATRA 1.4.0 - step 4
The file was modifiedcps/frameworktests/org.eclipse.viatra.gui.tests.product/viatra_product.product
Commit 29e83ee5d2f8180a14c836a071fa5ec1d7cfb48f by Zoltan Ujhelyi
[495681] Turned the tests back on after fix has been merged

Change-Id: Ib2ee974575a684bf036a6ce3c126d288aea34d78
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/VariableEqualityCpsTest.xtend
Commit 027be264668dcce3c678e9f116a4affc65f5d624 by Zoltan Ujhelyi
[495681] Unnecessary import removed
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/VariableEqualityCpsTest.xtend
Commit 6b22720ba37c8ba9dec3fa60c298dde581547f30 by Abel Hegedus
[CPS] update setup to 1.4 version
The file was modifiedcps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup
Commit 513b567a6fc467801fd72ea727e4191882c0b24f by Zoltan Ujhelyi
[496166] Run CPS tests with VariableBindingBasedCostFunction

Added TransformationType to be able to execute M2M tests without base
index using the VariableBindingBasedCostFunction implementation

Change-Id: I85762a4ff28f3c7d7499a0ccf9b75d5134cf2a24
Signed-off-by: Grill Balazs <balazs.grill@incquerylabs.com>
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
Commit e2a0647e184ccc838c87483424ab86db3f505444 by Grill Balazs
[465698] Testing LS with flattening disabled

Change-Id: Idb3d7b84582d71da8c5ca477272d2bad28770a96
Signed-off-by: Grill Balazs <balazs.grill@incquerylabs.com>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/BasicCpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllBackendTypes.xtend
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/variablesEquality.vql
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/BackendType.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/VariableEqualityCpsTest.xtend
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/FlattenedPatternCallCpsTest.xtend
Commit bbd2cdb90518bcdd173762bb04683aa6d31142b9 by Grill Balazs
[465698] executing CPS benchmark tests with flattening disabled.
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
Commit d68fc0e89a0a9d1a14f29856d01f1310b4aca238 by András Szabolcs Nagy
Updates to the dse bpmn example
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/TaskOrderQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/AllocateTaskToVariantQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/OutFlowQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/xtend-gen/org/eclipse/viatra/dse/examples/bpmn/rules/BpmnRuleProvider.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/EveryTaskHasVariantQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/InstanceOfVariantQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/TaskNeedsVariantQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/src/org/eclipse/viatra/dse/examples/bpmn/dse/BpmnExamples.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/UnrequiredResourceInstanceQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/AbsenceOfResourceInstancesQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/MakeSequentialQuerySpecification.java
The file was modifieddse/cps/org.eclipse.viatra.dse.examples.cps.patterns/plugin.xml
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/InFlowQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/MakeParallelQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/VariantAllocatedToTaskQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/EnoughResourceInstancesQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/UnassignedTaskQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/ParallelGatewayOutFlowQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/CreateResourceQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/src/org/eclipse/viatra/dse/examples/bpmn/objectives/RunSimulationOnModel.java
Commit 49047195540f1c7ad26df23ca5000d6a79f09dca by András Szabolcs Nagy
Bpmn example - stop after 50 solutions
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/src/org/eclipse/viatra/dse/examples/bpmn/dse/BpmnExamples.java
Commit 77884e99bf51eca8db56605481d571b5450528f1 by Zoltan Ujhelyi
[498858] modified CPS genmodels to allow extending the generated editors

Change-Id: I66254f65be071422b3c8977804c5b37f1c22cd81
Signed-off-by: Robert Doczi <robert.doczi@incquerylabs.com>
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/CyberPhysicalSystemItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/HostInstanceItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/StateItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/src/org/eclipse/viatra/examples/cps/deployment/provider/BehaviorStateItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/HostTypeItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/src/org/eclipse/viatra/examples/cps/traceability/provider/CPS2DeploymentTraceItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ApplicationTypeItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemModelWizard.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/RequestItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.genmodel
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.traceability/model/traceability.genmodel
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/src/org/eclipse/viatra/examples/cps/deployment/presentation/DeploymentModelWizard.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/RequirementItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment/model/deployment.genmodel
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/src/org/eclipse/viatra/examples/cps/deployment/provider/DeploymentHostItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/src/org/eclipse/viatra/examples/cps/traceability/provider/CPSToDeploymentItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/TransitionItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/src/org/eclipse/viatra/examples/cps/traceability/presentation/TraceabilityModelWizard.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/StateMachineItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/src/org/eclipse/viatra/examples/cps/traceability/provider/TraceabilityItemProviderAdapterFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/src/org/eclipse/viatra/examples/cps/deployment/provider/DeploymentItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ApplicationInstanceItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ResourceRequirementItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/CyberPhysicalSystemItemProviderAdapterFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/src/org/eclipse/viatra/examples/cps/deployment/provider/BehaviorTransitionItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/src/org/eclipse/viatra/examples/cps/deployment/provider/DeploymentItemProviderAdapterFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/src/org/eclipse/viatra/examples/cps/deployment/provider/DeploymentBehaviorItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/src/org/eclipse/viatra/examples/cps/deployment/provider/DeploymentApplicationItemProvider.java
Commit 70fb0b3f8b2ba8184c1cf44e645f1b4684e314ce by Grill Balazs
[499027] Added simple tests for NavigationHelper implementation

Change-Id: Iebc9818fc3009776321245768170eea359550c24
Signed-off-by: Grill Balazs <balazs.grill@incquerylabs.com>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllCpsTests.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/BaseIndexerTest.xtend