commit: ea1646bce0c564b60a2d32f82c8f13c35b129189
[log]
author: Arnault Lapitre <arnault.lapitre@cea.fr>
Tue May 14 02:43:24 2019 +0200
committer: Arnault Lapitre <arnault.lapitre@cea.fr>
Tue May 14 03:08:12 2019 +0200
tree: b246abaca059de44d2d31ce4ef073dc6a2c9f985
parent: f22afbfd1b6a98d39978d44ab12be0090fcc0253 [diff]

Bug 514634 General Improvement of SymbexUI-Spider

[Amend] Comment drawing of spider size for debug purpose
Change-Id: I2cc233875b469be3c849bd1de8d44b07ebacf0b8
Signed-off-by: Arnault Lapitre <arnault.lapitre@cea.fr>

editor/xlia/org.eclipse.efm.formalml.xtext/src/org/eclipse/efm/formalml/xtext/scoping/FormalMLScopeProvider.xtend[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowSpiderConfigurationUtils.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsolePage.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SEWConsoleSpiderPage.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SWTSpider.java[diff]

5 files changed

tree: b246abaca059de44d2d31ce4ef073dc6a2c9f985

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

README.md

EFM : Eclipse Formal Modeling