diff options
author | 2017-06-21 21:19:27 +0200 | |
---|---|---|
committer | 2017-06-21 21:19:27 +0200 | |
commit | bd9d6001d6d288b98f20ba2b4886a147088a6f99 (patch) | |
tree | b0b93dd8de27642afe86cdc9e849c49e7ec7202b /Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF | |
parent | Model translator and sanitiser from original yakindu files to simplified (diff) | |
download | VIATRA-Generator-bd9d6001d6d288b98f20ba2b4886a147088a6f99.tar.gz VIATRA-Generator-bd9d6001d6d288b98f20ba2b4886a147088a6f99.tar.zst VIATRA-Generator-bd9d6001d6d288b98f20ba2b4886a147088a6f99.zip |
Logic interpretation -> standard EMF instance model
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF new file mode 100644 index 00000000..7a572aa9 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF | |||
@@ -0,0 +1,13 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Bundle-ManifestVersion: 2 | ||
3 | Bundle-Name: Logic2ecore | ||
4 | Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.logic2ecore | ||
5 | Bundle-Version: 1.0.0.qualifier | ||
6 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||
7 | Require-Bundle: com.google.guava, | ||
8 | org.eclipse.xtext.xbase.lib, | ||
9 | org.eclipse.xtend.lib, | ||
10 | org.eclipse.xtend.lib.macro, | ||
11 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | ||
12 | org.eclipse.ocl.ecore;bundle-version="3.6.0" | ||
13 | |||