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-10 22:25:07 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-10 22:25:07 -0400
commit16f9cd46474a4934c1afd733d687f3c382fbdf56 (patch)
tree465a7cc53a489ae81d80f54d45642d84185d5e43 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF
parentVAMPIRE: Further develop testing fo r Vampire solver (diff)
downloadVIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.tar.gz
VIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.tar.zst
VIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.zip
implement http requests for the TPTP server
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.MF78
1 files changed, 37 insertions, 41 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 0af80e6c..dead7622 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
@@ -6,48 +6,44 @@ Bundle-Version: 1.0.0.qualifier
6Bundle-ClassPath: . 6Bundle-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.vampire.queries,
10 ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.impl, 10 ca.mcgill.ecse.dslreasoner.vampire.yakindumm,
11 ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.util, 11 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl,
12 ca.mcgill.ecse.dslreasoner.vampire.queries, 12 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util
13 ca.mcgill.ecse.dslreasoner.vampire.yakindumm,
14 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl,
15 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util,
16 yakindumm,
17 yakindumm.impl,
18 yakindumm.util,
19 yakindumm.yakindumm,
20 yakindumm.yakindumm.impl,
21 yakindumm.yakindumm.util
22Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, 13Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime,
23 org.eclipse.core.runtime, 14 org.eclipse.core.runtime,
24 org.eclipse.emf.ecore;visibility:=reexport, 15 org.eclipse.emf.ecore;visibility:=reexport,
25 org.eclipse.viatra.query.runtime.rete, 16 org.eclipse.viatra.query.runtime.rete,
26 org.eclipse.viatra.query.runtime.localsearch, 17 org.eclipse.viatra.query.runtime.localsearch,
27 com.google.guava, 18 com.google.guava,
28 org.eclipse.xtext.xbase.lib, 19 org.eclipse.xtext.xbase.lib,
29 org.eclipse.xtend.lib, 20 org.eclipse.xtend.lib,
30 org.eclipse.xtend.lib.macro, 21 org.eclipse.xtend.lib.macro,
31 ca.mcgill.ecse.dslreasoner.vampire.language;bundle-version="1.0.0", 22 ca.mcgill.ecse.dslreasoner.vampire.language;bundle-version="1.0.0",
32 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", 23 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0",
33 ca.mcgill.ecse.dslreasoner.vampire.reasoner;bundle-version="1.0.0", 24 ca.mcgill.ecse.dslreasoner.vampire.reasoner;bundle-version="1.0.0",
34 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", 25 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
35 hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", 26 hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0",
36 org.eclipse.emf.ecore.xmi;bundle-version="2.13.0", 27 org.eclipse.emf.ecore.xmi;bundle-version="2.13.0",
37 hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", 28 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", 29 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", 30 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", 31 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0",
41 hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0", 32 hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0",
42 hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0", 33 hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0",
43 ModelGenExampleFAM_plugin;bundle-version="1.0.0", 34 ModelGenExampleFAM_plugin;bundle-version="1.0.0",
44 ModelGenExampleFAM_plugin.validation;bundle-version="0.0.1", 35 ModelGenExampleFAM_plugin.validation;bundle-version="0.0.1",
45 hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph;bundle-version="1.0.0", 36 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", 37 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", 38 org.eclipse.viatra.query.runtime;bundle-version="2.1.0",
48 org.eclipse.collections;bundle-version="9.2.0", 39 org.eclipse.collections;bundle-version="9.2.0",
49 hu.bme.mit.inf.dslreasoner.application.FAMTest;bundle-version="1.0.0", 40 hu.bme.mit.inf.dslreasoner.application.FAMTest;bundle-version="1.0.0",
50 ca.mcgill.ecse.dslreasoner.standalone.test;bundle-version="1.0.0" 41 ca.mcgill.ecse.dslreasoner.standalone.test;bundle-version="1.0.0",
42 org.apache.httpcomponents.httpcore;bundle-version="4.4.6",
43 org.apache.httpcomponents.httpclient;bundle-version="4.5.2",
44 org.apache.httpcomponents.httpclient.source;bundle-version="4.5.2",
45 org.apache.httpcomponents.httpclient.win;bundle-version="4.5.2",
46 org.apache.httpcomponents.httpcore.source;bundle-version="4.4.6"
51Import-Package: org.apache.log4j 47Import-Package: org.apache.log4j
52Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.vampire.test 48Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.vampire.test
53Bundle-ActivationPolicy: lazy 49Bundle-ActivationPolicy: lazy
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 23:32:22 +0000