diff options
author | 2020-06-25 19:55:10 +0200 | |
---|---|---|
committer | 2020-06-25 19:55:10 +0200 | |
commit | c3a6d4b9cf3657070d180aa65ddbf0459e880329 (patch) | |
tree | 780c4fc61578dcb309af53fb0c164c7627e51676 /Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | |
parent | New configuration language parser WIP (diff) | |
parent | Scope unsat benchmarks (diff) | |
download | VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.gz VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.zst VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.zip |
Merge branch 'kris'
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | 105 |
1 files changed, 49 insertions, 56 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF index 44b8c453..c24df78c 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF +++ b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | |||
@@ -1,56 +1,49 @@ | |||
1 | Manifest-Version: 1.0 | 1 | Manifest-Version: 1.0 |
2 | Bundle-ManifestVersion: 2 | 2 | Bundle-ManifestVersion: 2 |
3 | Bundle-Name: hu.bme.mit.inf.dslreasoner.application | 3 | Bundle-Name: hu.bme.mit.inf.dslreasoner.application |
4 | Bundle-Vendor: My Company | 4 | Bundle-Vendor: My Company |
5 | Bundle-Version: 1.0.0.qualifier | 5 | Bundle-Version: 1.0.0.qualifier |
6 | Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.application; singleton:=true | 6 | Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.application; singleton:=true |
7 | Bundle-ActivationPolicy: lazy | 7 | Bundle-ActivationPolicy: lazy |
8 | Require-Bundle: org.eclipse.xtext, | 8 | Require-Bundle: org.eclipse.xtext, |
9 | org.eclipse.xtext.xbase, | 9 | org.eclipse.xtext.xbase, |
10 | org.eclipse.equinox.common;bundle-version="3.5.0", | 10 | org.eclipse.equinox.common;bundle-version="3.5.0", |
11 | org.eclipse.emf.ecore, | 11 | org.eclipse.emf.ecore, |
12 | org.eclipse.xtext.xbase.lib, | 12 | org.eclipse.xtext.xbase.lib;bundle-version="2.14.0", |
13 | org.eclipse.xtext.util, | 13 | org.eclipse.xtext.util, |
14 | org.eclipse.xtend.lib, | 14 | org.eclipse.xtend.lib;bundle-version="2.14.0", |
15 | org.eclipse.emf.common, | 15 | org.eclipse.emf.common, |
16 | org.antlr.runtime, | 16 | org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", |
17 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | 17 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", |
18 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", | 18 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", |
19 | hu.bme.mit.inf.dslreasoner.smt.reasoner;bundle-version="1.0.0", | 19 | hu.bme.mit.inf.dslreasoner.smt.reasoner;bundle-version="1.0.0", |
20 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", | 20 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", |
21 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", | 21 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", |
22 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", | 22 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", |
23 | hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", | 23 | hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", |
24 | hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0", | 24 | hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0", |
25 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0", | 25 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0", |
26 | org.eclipse.viatra.query.patternlanguage.emf;bundle-version="1.7.0", | 26 | org.eclipse.viatra.query.patternlanguage.emf;bundle-version="1.7.0", |
27 | org.eclipse.viatra.query.runtime;bundle-version="1.7.0", | 27 | org.eclipse.viatra.query.runtime;bundle-version="1.7.0", |
28 | org.eclipse.emf.codegen;bundle-version="2.11.0", | 28 | org.eclipse.emf.codegen;bundle-version="2.11.0", |
29 | org.eclipse.viatra.query.tooling.core;bundle-version="2.0.0", | 29 | org.eclipse.viatra.query.tooling.core;bundle-version="2.0.0", |
30 | hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0", | 30 | hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0", |
31 | org.eclipse.core.runtime;bundle-version="3.12.0", | 31 | org.eclipse.core.runtime;bundle-version="3.12.0", |
32 | org.eclipse.ui.console;bundle-version="3.6.201", | 32 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0", |
33 | org.eclipse.jface;bundle-version="3.12.2", | 33 | org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.0.0", |
34 | org.eclipse.ui;bundle-version="3.108.1", | 34 | org.eclipse.collections;bundle-version="9.2.0" |
35 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0", | 35 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
36 | org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.0.0", | 36 | Export-Package: hu.bme.mit.inf.dslreasoner.application, |
37 | org.eclipse.core.filesystem, | 37 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration, |
38 | org.eclipse.ui.workbench.texteditor, | 38 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl, |
39 | org.eclipse.ui.ide, | 39 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.util, |
40 | org.eclipse.text, | 40 | hu.bme.mit.inf.dslreasoner.application.execution, |
41 | org.eclipse.collections;bundle-version="9.2.0" | 41 | hu.bme.mit.inf.dslreasoner.application.generator, |
42 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 42 | hu.bme.mit.inf.dslreasoner.application.parser.antlr, |
43 | Export-Package: hu.bme.mit.inf.dslreasoner.application, | 43 | hu.bme.mit.inf.dslreasoner.application.parser.antlr.internal, |
44 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration, | 44 | hu.bme.mit.inf.dslreasoner.application.scoping, |
45 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl, | 45 | hu.bme.mit.inf.dslreasoner.application.serializer, |
46 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.util, | 46 | hu.bme.mit.inf.dslreasoner.application.services, |
47 | hu.bme.mit.inf.dslreasoner.application.execution, | 47 | hu.bme.mit.inf.dslreasoner.application.validation |
48 | hu.bme.mit.inf.dslreasoner.application.generator, | 48 | Import-Package: org.apache.log4j |
49 | hu.bme.mit.inf.dslreasoner.application.parser.antlr, | 49 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application |
50 | hu.bme.mit.inf.dslreasoner.application.parser.antlr.internal, | ||
51 | hu.bme.mit.inf.dslreasoner.application.scoping, | ||
52 | hu.bme.mit.inf.dslreasoner.application.serializer, | ||
53 | hu.bme.mit.inf.dslreasoner.application.services, | ||
54 | hu.bme.mit.inf.dslreasoner.application.validation | ||
55 | Import-Package: org.apache.log4j | ||
56 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application | ||