SuccessChanges

Summary

  1. Bug 514634 General Improvement Improvment of Polygraph AST analysis for (details)
Commit 97bc482799ca189dee957eba8c85fecffc631326 by Arnault Lapitre
Bug 514634 General Improvement Improvment of Polygraph AST analysis for
xLIA code Generation Rewriting of org.eclipse.efm.ui.ImageResources
Adding Tab for Symbex Options in SymbexWorkflowView & LaunchConfig.
Adding SymbexWorkflow for profiling multiple executions
Change-Id: Ic75e3c5d70c7a021f0d1f93a996bd08b84bc81c8
The file was removedgui/org.eclipse.efm.ui/resources/icons/error_st_obj.gif
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/RestartAction.java
The file was addedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/common/SymbexOptionCustomImpl.java
The file was modifiedcodegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/MoccPort.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/push.png
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowConfigurationConstants.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/serializer/SequenceDiagramTraceSerializerWorkerCustomImpl.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/revert.gif
The file was removedgui/org.eclipse.efm.ui/resources/icons/pull.png
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/impl/WorkflowPackageImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/serializer/BasicTraceSerializerWorkerCustomImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/HelpContextIdConstants.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/validate.gif
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/CloseAllConsoleAction.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/TerminateAllAction.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/save_as.gif
The file was modifiedgui/org.eclipse.efm.ui/src/org/eclipse/efm/ui/utils/ImageResources.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/WorkflowCustomImpl.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/synchronize.png
The file was addedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/tabs/SymbexOptionTab.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/SymbexOption.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/alert_obj.png
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowSpiderConfigurationUtils.java
The file was modifiedcodegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/MoccActor.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/ChangeSashFormOrientationAction.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewAnalysisProfileSection.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/SymbexWorkflowProvider.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/genproject.gif
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/editors/table/TraceElementTableViewer.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/error_st_obj.gif
The file was removedgui/org.eclipse.efm.ui/resources/icons/refresh_tab.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/revert.gif
The file was removedgui/org.eclipse.efm.ui/resources/icons/error_ovr.gif
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsole.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/CommonPackage.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/dlcl16/export_config.png
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SWTSpider.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/impl/SerializerImpl.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/dlcl16/profile_exc.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/save.gif
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/det_pane_right.png
The file was modifiedgui/org.eclipse.efm.ui/src/org/eclipse/efm/ui/Activator.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/LivenessCheckerSymbexWorkflow.java
The file was modifiedcodegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/xlia/MoCC2XLIASchedule.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/CloseConsoleAction.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/TerminateRestartAction.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/ISymbexWorkflowProvider.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/save_as.gif
The file was removedgui/org.eclipse.efm.ui/resources/icons/run_dial.png
The file was modifiedcodegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/feature/MoccActorFeature.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/push.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/dlcl16/det_pane_right.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/synced.gif
The file was modifiedexecution/org.eclipse.efm.execution.ui.views/src/org/eclipse/efm/execution/ui/views/symbexlauncher/AbstractSymbexWorkflowView.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/overview.gif
The file was modifiedexecution/org.eclipse.efm.execution.core/resources/ecore/workflow.genmodel
The file was modifiedexecution/org.eclipse.efm.execution.ui.views/src/org/eclipse/efm/execution/ui/views/symbexlauncher/SymbexWorkflowView.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/warn_ovr.gif
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/alert_obj.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/dup_resource.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/commit.png
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/Serializer.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/debug_dial.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/dlcl16/profile_exc@2x.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/export_config.png
The file was modifiedgui/org.eclipse.efm.modeling.ui.views.property.tab.xlia/src/org/eclipse/efm/papyrus/view/property/concretesyntax/sheet/EditingPropertySection.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/refresh_tab.png
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsolePage.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/pinned_ovr.gif
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/impl/CommonPackageImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.core/resources/ecore/workflow.ecore
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/overview.gif
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/handlers/RunSewToolsHandler.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src/org/eclipse/efm/formalml/ecore/factory/XLIAGenerator.xtend
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/META-INF/MANIFEST.MF
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/serializer/SerializerPackage.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/save.gif
The file was addedgui/org.eclipse.efm.ui/resources/icons/dlcl16/det_pane_under.png
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/TerminateAction.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/run_exc.png
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/LaunchConfigurationTabGroup.java
The file was removedgui/org.eclipse.efm.ui/resources/icons/help.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/incom_stat.gif
The file was modifiedtutorial/org.eclipse.efm.tutorial.thermostat/cheatsheet/getting_started-orig.xml
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/WorkflowPackage.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/RunSelectedSymbexWorkflowAction.java
The file was modifiedcodegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/feature/MoccSystemFeature.java
The file was modifiedcodegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/xlia/Generator.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/debug_dial.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/det_pane_under.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/error.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/pinned_ovr.gif
The file was addedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/symbex/SymbexOptionConfigurationPage.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/debug_exc.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/run_exc.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/toc_link_obj.png
The file was addedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/ProfileSymbexWorkflow.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/dup_resource.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/error@2x.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/help.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/lock_ovr.gif
The file was removedgui/org.eclipse.efm.ui/resources/icons/library_obj.png
The file was modifiedcodegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/MoccSystem.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/validate.gif
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/pull.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/synchronize.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/toc_link_obj.png
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/impl/SymbexOptionImpl.java
The file was addedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/ProfileExecutionAction.java
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/commit.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/run_dial.png
The file was removedgui/org.eclipse.efm.ui/resources/icons/error@2x.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/profile_exc.png
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/synced.gif
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/genproject.gif
The file was addedgui/org.eclipse.efm.ui/resources/icons/elcl16/profile_exc@2x.png