issues
search
eclipse-gemoc
/
gemoc-studio-execution-moccml
gemoc-studio-execution-moccml
Eclipse Public License 1.0
1
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Centralize property tester and earlystartup in modeldebugging
#80
dvojtise
closed
10 months ago
0
Remove concurrent timeline + add moccml-specific tracing
#79
ebousse
closed
1 year ago
0
Remove non-Moccml-specific code and add symbolic logical steps support
#78
ebousse
closed
1 year ago
0
Bump to Eclipse 2023 06
#77
dvojtise
closed
1 year ago
0
Fix tfsm moccml example
#76
dvojtise
closed
1 year ago
0
Bump to 3.6.1
#75
dvojtise
closed
1 year ago
0
Bump to version of k3 including StepCommand return null fix
#74
ebousse
closed
1 year ago
0
Manage step return values
#73
ebousse
closed
1 year ago
0
merge master to concurrency analysis
#72
jdeantoni
closed
1 year ago
0
Creating new launch conf without specifying the DSL raises NLS missing message error
#71
dvojtise
opened
1 year ago
0
Split commons eclipse pde to remove UI dependency
#70
dvojtise
closed
2 years ago
0
Bump to Eclipse 2022-06
#69
dvojtise
closed
2 years ago
0
Initial version of a Webprotocol based EngineAddon server
#68
dvojtise
closed
2 years ago
0
WIP adding a new filtering strategy rule
#67
jdeantoni
closed
2 years ago
0
Use tpd for defining target platform
#66
dvojtise
closed
2 years ago
0
Bump eclipse 2021 12
#65
dvojtise
closed
2 years ago
0
Bump to 3.5.0
#64
dvojtise
closed
2 years ago
0
strong naming assumption in the RTDAccessor generation
#63
jdeantoni
opened
2 years ago
0
Formal analysis by exhaustive simulation update
#62
dvojtise
closed
2 years ago
1
Broken sigpml example with groovy error since switch to java 11
#61
dvojtise
closed
2 years ago
0
Formal analysis by exhaustive simulation
#60
jdeantoni
closed
2 years ago
0
ModelStateHelper doesn't support RTD distributed in several emf resources
#59
dvojtise
opened
3 years ago
0
RuntimeException when creating or restoring branches while looking for setter in ModelStateHelper
#58
dvojtise
closed
2 years ago
4
Not possible to open the multibranch timeline if some element aren't available and visible in the workspace
#57
dvojtise
opened
3 years ago
1
dsl file corruption by one of the builders
#56
dvojtise
opened
3 years ago
2
Bump Studio to 3.4.0
#55
dvojtise
closed
3 years ago
0
Bump to Eclipse 2021-06
#54
dvojtise
closed
3 years ago
0
update the formal analysis branch wrt changes done in the master
#53
jdeantoni
closed
3 years ago
0
Uncomprehensive step number in the gemoc engine view
#52
jdeantoni
opened
3 years ago
4
Consolidation and automatic bump of K3 versions
#51
dvojtise
closed
3 years ago
0
Add Sirius ELK support
#50
dvojtise
closed
3 years ago
0
Bump eclipse 2020-12
#49
dvojtise
closed
3 years ago
0
Bump to Eclipse 2020-03
#48
dvojtise
closed
4 years ago
0
Fix moccml examples
#47
dvojtise
closed
4 years ago
0
Move moccml metaprog plugin to proper place in repo and deploy in studio
#46
dvojtise
closed
4 years ago
0
ValidationRule added to languageComponent in plugin
#45
Kairides
closed
4 years ago
0
Metaprog plugin modified to fit new extension point description + added LanguageComponent
#44
Kairides
closed
4 years ago
0
Metaprogramming approach name changed to FullyQualifiedName
#43
Kairides
closed
4 years ago
0
"metaprog" entry added to dsl files for the MOCCML examples
#42
Kairides
closed
4 years ago
0
Validation made on the "k3" entry in the dsl file removed from the MOCCML validation
#41
Kairides
closed
4 years ago
0
Builder supports aspects separated by a comma and whitespace
#40
Kairides
closed
4 years ago
3
Validatation plug-in for the MOCCML meta-programming approach in GEMOC Studio
#39
Kairides
closed
4 years ago
0
Re-enable dispatch call to applyMSEFutureStates
#38
dvojtise
closed
4 years ago
0
Forcing/forbidding event in the stimuli manager view doesn't update the LogicalStep view
#37
dvojtise
opened
4 years ago
0
ECL construct using feedback result from DSA doesn't work anymore
#36
dvojtise
closed
4 years ago
2
Deploy GEMOC artefacts to maven repository (repo.eclipse.org)
#35
dvojtise
closed
4 years ago
0
Improve RTDAccessor generator
#34
dvojtise
closed
4 years ago
1
Fix xdsmlFilePath attribute in plugin.xml
#33
dvojtise
closed
4 years ago
0
Change Timesquare updatesite
#32
dvojtise
closed
4 years ago
0
Fix the triggering of moccml builder
#31
dvojtise
closed
4 years ago
0
Next