aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/META-INF
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
commit8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch)
treed525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language/META-INF
parentcheck expressions are mapped to WF constraints (diff)
downloadVIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/META-INF')
-rw-r--r--Application/org.eclipse.viatra.solver.language/META-INF/MANIFEST.MF30
1 files changed, 30 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/META-INF/MANIFEST.MF b/Application/org.eclipse.viatra.solver.language/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..9513cba4
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/META-INF/MANIFEST.MF
@@ -0,0 +1,30 @@
1Manifest-Version: 1.0
2Automatic-Module-Name: org.eclipse.viatra.solver.language
3Bundle-ManifestVersion: 2
4Bundle-Name: org.eclipse.viatra.solver.language
5Bundle-Vendor: My Company
6Bundle-Version: 1.0.0.qualifier
7Bundle-SymbolicName: org.eclipse.viatra.solver.language; singleton:=true
8Bundle-ActivationPolicy: lazy
9Require-Bundle: org.eclipse.xtext,
10 org.eclipse.xtext.xbase,
11 org.eclipse.equinox.common;bundle-version="3.5.0",
12 org.eclipse.emf.ecore,
13 org.eclipse.xtext.xbase.lib;bundle-version="2.14.0",
14 org.eclipse.xtext.util,
15 org.eclipse.emf.common,
16 org.eclipse.xtend.lib;bundle-version="2.14.0",
17 org.antlr.runtime;bundle-version="[3.2.0,3.2.1)"
18Bundle-RequiredExecutionEnvironment: JavaSE-1.8
19Export-Package: org.eclipse.viatra.solver.language.validation,
20 org.eclipse.viatra.solver.language,
21 org.eclipse.viatra.solver.language.generator,
22 org.eclipse.viatra.solver.language.services,
23 org.eclipse.viatra.solver.language.solverLanguage.impl,
24 org.eclipse.viatra.solver.language.parser.antlr.internal,
25 org.eclipse.viatra.solver.language.parser.antlr,
26 org.eclipse.viatra.solver.language.serializer,
27 org.eclipse.viatra.solver.language.solverLanguage,
28 org.eclipse.viatra.solver.language.solverLanguage.util,
29 org.eclipse.viatra.solver.language.scoping
30Import-Package: org.apache.log4j