diff options
author | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2018-01-13 19:33:26 +0100 |
---|---|---|
committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2018-01-13 19:33:26 +0100 |
commit | 7e50434905cbb7f5d03636033b698e17a9075e9d (patch) | |
tree | 10e0968c20ac55dae4f5dc6077f39cf9947e3cb9 /Application/hu.bme.mit.inf.dslreasoner.application/META-INF | |
parent | Test and measurement runners (diff) | |
download | VIATRA-Generator-7e50434905cbb7f5d03636033b698e17a9075e9d.tar.gz VIATRA-Generator-7e50434905cbb7f5d03636033b698e17a9075e9d.tar.zst VIATRA-Generator-7e50434905cbb7f5d03636033b698e17a9075e9d.zip |
Initial commit of the configuration language and application
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 | 44 |
1 files changed, 44 insertions, 0 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 new file mode 100644 index 00000000..c8060e7b --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | |||
@@ -0,0 +1,44 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Bundle-ManifestVersion: 2 | ||
3 | Bundle-Name: hu.bme.mit.inf.dslreasoner.application | ||
4 | Bundle-Vendor: My Company | ||
5 | Bundle-Version: 1.0.0.qualifier | ||
6 | Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.application; singleton:=true | ||
7 | Bundle-ActivationPolicy: lazy | ||
8 | Require-Bundle: org.eclipse.xtext, | ||
9 | org.eclipse.xtext.xbase, | ||
10 | org.eclipse.equinox.common;bundle-version="3.5.0", | ||
11 | org.eclipse.emf.ecore, | ||
12 | org.eclipse.xtext.xbase.lib, | ||
13 | org.eclipse.xtext.util, | ||
14 | org.eclipse.xtend.lib, | ||
15 | org.eclipse.emf.common, | ||
16 | org.antlr.runtime, | ||
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", | ||
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", | ||
21 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic;bundle-version="1.0.0", | ||
22 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", | ||
23 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", | ||
24 | hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0", | ||
25 | hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", | ||
26 | hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0", | ||
27 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0", | ||
28 | org.eclipse.viatra.query.patternlanguage;bundle-version="1.7.0", | ||
29 | org.eclipse.viatra.query.patternlanguage.emf;bundle-version="1.7.0", | ||
30 | org.eclipse.viatra.query.runtime;bundle-version="1.7.0", | ||
31 | org.eclipse.emf.codegen;bundle-version="2.11.0" | ||
32 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||
33 | Export-Package: hu.bme.mit.inf.dslreasoner.application.services, | ||
34 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl, | ||
35 | hu.bme.mit.inf.dslreasoner.application, | ||
36 | hu.bme.mit.inf.dslreasoner.application.validation, | ||
37 | hu.bme.mit.inf.dslreasoner.application.serializer, | ||
38 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration, | ||
39 | hu.bme.mit.inf.dslreasoner.application.scoping, | ||
40 | hu.bme.mit.inf.dslreasoner.application.generator, | ||
41 | hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.util, | ||
42 | hu.bme.mit.inf.dslreasoner.application.parser.antlr.internal, | ||
43 | hu.bme.mit.inf.dslreasoner.application.parser.antlr | ||
44 | Import-Package: org.apache.log4j | ||