blob: 623e0046b95034086317b253eb0ad42571bca38c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: %pluginName
Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph;singleton:=true
Bundle-Version: 1.0.0.qualifier
Bundle-ClassPath: .
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Export-Package: hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm,
hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl,
hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.util,
hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu,
hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated,
hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.util,
hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.util
Require-Bundle: org.eclipse.viatra.query.runtime,
<<<<<<< HEAD
org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
com.google.guava;bundle-version="15.0.0"
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ActivationPolicy: lazy
=======
org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
com.google.guava;bundle-version="15.0.0"
>>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code
Import-Package: org.apache.log4j
Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
