commit: 5afe1d318ac762997ef83873f95f5ca6467fcea5
[log]
author: Arnault Lapitre <arnault.lapitre@cea.fr>
Thu Apr 27 10:02:34 2017 +0200
committer: Arnault Lapitre <arnault.lapitre@cea.fr>
Thu Apr 27 10:02:34 2017 +0200
tree: ae193ba53dcacc699f3bcd4d9db52ba22a7eee5c
parent: 5302bc18b69832a517542b17f6a4d52b4c998e8e [diff]

Bug 514634 End of refactoring

[Update] All features are restored
[Fix] Update Layout for transition table selection

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

execution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewAnalysisProfileSection.java[diff]
execution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewExplorationConfigurationProfile.java[Added - diff]
execution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewTransitionCoverageConfigurationProfile.java[diff]
execution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/supervisor/SupervisorConfigurationPage.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]

6 files changed

tree: ae193ba53dcacc699f3bcd4d9db52ba22a7eee5c

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

README.md

EFM : Eclipse Formal Modeling