diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/META-INF')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | 113 |
1 files changed, 57 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..a7990cca 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,57 @@ | |||
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.ui.console;bundle-version="3.6.201", |
33 | org.eclipse.jface;bundle-version="3.12.2", | 33 | org.eclipse.jface;bundle-version="3.12.2", |
34 | org.eclipse.ui;bundle-version="3.108.1", | 34 | org.eclipse.ui;bundle-version="3.108.1", |
35 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0", | 35 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0", |
36 | org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.0.0", | 36 | org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.0.0", |
37 | org.eclipse.core.filesystem, | 37 | org.eclipse.core.filesystem, |
38 | org.eclipse.ui.workbench.texteditor, | 38 | org.eclipse.ui.workbench.texteditor, |
39 | org.eclipse.ui.ide, | 39 | org.eclipse.ui.ide, |
40 | org.eclipse.text, | 40 | org.eclipse.text, |
41 | org.eclipse.collections;bundle-version="9.2.0" | 41 | org.eclipse.collections;bundle-version="9.2.0", |
42 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 42 | hu.bme.mit.inf.dslreasoner.faulttree.components |
43 | Export-Package: hu.bme.mit.inf.dslreasoner.application, | 43 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
44 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration, | 44 | Export-Package: hu.bme.mit.inf.dslreasoner.application, |
45 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl, | 45 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration, |
46 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.util, | 46 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl, |
47 | hu.bme.mit.inf.dslreasoner.application.execution, | 47 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.util, |
48 | hu.bme.mit.inf.dslreasoner.application.generator, | 48 | hu.bme.mit.inf.dslreasoner.application.execution, |
49 | hu.bme.mit.inf.dslreasoner.application.parser.antlr, | 49 | hu.bme.mit.inf.dslreasoner.application.generator, |
50 | hu.bme.mit.inf.dslreasoner.application.parser.antlr.internal, | 50 | hu.bme.mit.inf.dslreasoner.application.parser.antlr, |
51 | hu.bme.mit.inf.dslreasoner.application.scoping, | 51 | hu.bme.mit.inf.dslreasoner.application.parser.antlr.internal, |
52 | hu.bme.mit.inf.dslreasoner.application.serializer, | 52 | hu.bme.mit.inf.dslreasoner.application.scoping, |
53 | hu.bme.mit.inf.dslreasoner.application.services, | 53 | hu.bme.mit.inf.dslreasoner.application.serializer, |
54 | hu.bme.mit.inf.dslreasoner.application.validation | 54 | hu.bme.mit.inf.dslreasoner.application.services, |
55 | Import-Package: org.apache.log4j | 55 | hu.bme.mit.inf.dslreasoner.application.validation |
56 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application | 56 | Import-Package: org.apache.log4j |
57 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application | ||