aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-09 01:03:49 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-07 19:43:12 -0400
commit8ec0122cbcb257c394156e899184e7b26ef7a860 (patch)
treedbd818d80ff10c8761e369c5a3c85368408b3e9e /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF
parentVAMPIRE: fix bug in transformation, further implement measurement code (diff)
downloadVIATRA-Generator-8ec0122cbcb257c394156e899184e7b26ef7a860.tar.gz
VIATRA-Generator-8ec0122cbcb257c394156e899184e7b26ef7a860.tar.zst
VIATRA-Generator-8ec0122cbcb257c394156e899184e7b26ef7a860.zip
VAMPIRE: Further develop testing fo r Vampire solver
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF80
1 files changed, 40 insertions, 40 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF
index b786abfb..0af80e6c 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF
@@ -7,47 +7,47 @@ Bundle-ClassPath: .
7Bundle-Vendor: %providerName 7Bundle-Vendor: %providerName
8Bundle-Localization: plugin 8Bundle-Localization: plugin
9Export-Package: ca.mcgill.ecse.dslreasoner.vamipre.yakindumm, 9Export-Package: ca.mcgill.ecse.dslreasoner.vamipre.yakindumm,
10 ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.impl, 10 ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.impl,
11 ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.util, 11 ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.util,
12 ca.mcgill.ecse.dslreasoner.vampire.queries, 12 ca.mcgill.ecse.dslreasoner.vampire.queries,
13 ca.mcgill.ecse.dslreasoner.vampire.yakindumm, 13 ca.mcgill.ecse.dslreasoner.vampire.yakindumm,
14 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl, 14 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl,
15 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util, 15 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util,
16 yakindumm, 16 yakindumm,
17 yakindumm.impl, 17 yakindumm.impl,
18 yakindumm.util, 18 yakindumm.util,
19 yakindumm.yakindumm, 19 yakindumm.yakindumm,
20 yakindumm.yakindumm.impl, 20 yakindumm.yakindumm.impl,
21 yakindumm.yakindumm.util 21 yakindumm.yakindumm.util
22Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, 22Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime,
23 org.eclipse.core.runtime, 23 org.eclipse.core.runtime,
24 org.eclipse.emf.ecore;visibility:=reexport, 24 org.eclipse.emf.ecore;visibility:=reexport,
25 org.eclipse.viatra.query.runtime.rete, 25 org.eclipse.viatra.query.runtime.rete,
26 org.eclipse.viatra.query.runtime.localsearch, 26 org.eclipse.viatra.query.runtime.localsearch,
27 com.google.guava, 27 com.google.guava,
28 org.eclipse.xtext.xbase.lib, 28 org.eclipse.xtext.xbase.lib,
29 org.eclipse.xtend.lib, 29 org.eclipse.xtend.lib,
30 org.eclipse.xtend.lib.macro, 30 org.eclipse.xtend.lib.macro,
31 ca.mcgill.ecse.dslreasoner.vampire.language;bundle-version="1.0.0", 31 ca.mcgill.ecse.dslreasoner.vampire.language;bundle-version="1.0.0",
32 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", 32 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0",
33 ca.mcgill.ecse.dslreasoner.vampire.reasoner;bundle-version="1.0.0", 33 ca.mcgill.ecse.dslreasoner.vampire.reasoner;bundle-version="1.0.0",
34 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", 34 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
35 hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", 35 hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0",
36 org.eclipse.emf.ecore.xmi;bundle-version="2.13.0", 36 org.eclipse.emf.ecore.xmi;bundle-version="2.13.0",
37 hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", 37 hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0",
38 hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", 38 hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0",
39 hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", 39 hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0",
40 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0", 40 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0",
41 hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0", 41 hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0",
42 hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0", 42 hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0",
43 ModelGenExampleFAM_plugin;bundle-version="1.0.0", 43 ModelGenExampleFAM_plugin;bundle-version="1.0.0",
44 ModelGenExampleFAM_plugin.validation;bundle-version="0.0.1", 44 ModelGenExampleFAM_plugin.validation;bundle-version="0.0.1",
45 hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph;bundle-version="1.0.0", 45 hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph;bundle-version="1.0.0",
46 hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.validation;bundle-version="0.0.1", 46 hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.validation;bundle-version="0.0.1",
47 org.eclipse.viatra.query.runtime;bundle-version="2.1.0", 47 org.eclipse.viatra.query.runtime;bundle-version="2.1.0",
48 org.eclipse.collections;bundle-version="9.2.0", 48 org.eclipse.collections;bundle-version="9.2.0",
49 hu.bme.mit.inf.dslreasoner.application.FAMTest;bundle-version="1.0.0", 49 hu.bme.mit.inf.dslreasoner.application.FAMTest;bundle-version="1.0.0",
50 ca.mcgill.ecse.dslreasoner.standalone.test;bundle-version="1.0.0" 50 ca.mcgill.ecse.dslreasoner.standalone.test;bundle-version="1.0.0"
51Import-Package: org.apache.log4j 51Import-Package: org.apache.log4j
52Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.vampire.test 52Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.vampire.test
53Bundle-ActivationPolicy: lazy 53Bundle-ActivationPolicy: lazy
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 08:23:40 +0000