Skip to content
This repository has been archived by the owner on Sep 17, 2019. It is now read-only.

Commit

Permalink
Add Clock system execution features to Gemoc studio
Browse files Browse the repository at this point in the history
  • Loading branch information
vincent committed Oct 12, 2015
1 parent 72d36c8 commit 09e6b78
Showing 1 changed file with 3 additions and 0 deletions.
Expand Up @@ -60,6 +60,9 @@
<import feature="org.eclipse.sirius.specifier.ide.ui.acceleo" version="1.0.0.201403121231" match="greaterOrEqual"/>
<import feature="org.gemoc.mocc.feature" version="0.0.0" match="greaterOrEqual"/>
<import feature="org.gemoc.concurrency.exploration.common.feature" version="0.0.0" match="greaterOrEqual"/>
<import feature="org.gemoc.concurrency.exploration.winonly.feature" version="0.0.0" match="greaterOrEqual"/>
<import feature="org.gemoc.concurrency.exploration.linonly.feature" version="0.0.0" match="greaterOrEqual"/>
<import feature="org.gemoc.concurrency.exploration.maconly.feature" version="0.0.0" match="greaterOrEqual"/>
<import feature="org.eclipse.e4.rcp" version="0.0.0" match="greaterOrEqual"/>
<import feature="fr.inria.diverse.melange.sdk" version="0.0.0" match="greaterOrEqual"/>
<import feature="fr.inria.diverse.trace.feature" version="0.0.0" match="greaterOrEqual"/>
Expand Down

0 comments on commit 09e6b78

Please sign in to comment.