commit: 0a1de95f8895984c5fc2de808502a424f05d8eb7
[log]
author: Arnault Lapitre <arnault.lapitre@cea.fr>
Wed Jan 31 17:15:39 2018 +0100
committer: Arnault Lapitre <arnault.lapitre@cea.fr>
Wed Jan 31 12:14:19 2018 -0500
tree: 168ade1d8753353d507e873dd8f23faa566dac75
parent: a5ce162839482a542a6f561e62a9325aa41e1faf [diff]

Bug 514634 general Improvement

[Update] Create a dedicated workflow using configuration and model name
[update] Adding option for identifier formating using '#' or not as name
separator for symbolic fresh variable

Change-Id: If84f6503587c2fe828665db1586537a88a15bdc7
Signed-off-by: Arnault Lapitre <arnault.lapitre@cea.fr>

execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowConfigurationConstants.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowPreferenceConstants.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/SymbexPreferenceUtil.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/DirectorCustomImpl.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/WorkflowCustomImpl.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/serializer/BasicTraceSerializerWorkerCustomImpl.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/META-INF/MANIFEST.MF[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/LaunchDelegate.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/plugin2analyse/SWTQualitativeInfo.java[diff]
execution/org.eclipse.efm.execution.ui.views/src/org/eclipse/efm/execution/ui/views/symbexlauncher/LaunchConfigurationManager.java[diff]
execution/org.eclipse.efm.execution.ui.views/src/org/eclipse/efm/execution/ui/views/symbexlauncher/SymbexWorkflowView.java[diff]

11 files changed

tree: 168ade1d8753353d507e873dd8f23faa566dac75

codegen/
core/
diagram/
doc/
editor/
execution/
gui/
releng/
src/
targetplatform/
tutorial/
workspace/
.gitignore
.project
about.html
CHANGELOG.md
CONTRIBUTING.md
pom.xml
README.md
ROADMAP.md
TODO.md

README.md

EFM : Eclipse Formal Modeling