diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:42:47 -0400 |
| commit | b503c81bee920c18806af25393d0a90b8f77dba6 (patch) | |
| tree | 9b70f606bfa7fa450457c04714e045e5ac5f6199 /Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF | |
| parent | VAMPIRE: fix model generation (diff) | |
| download | VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.gz VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.zst VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.zip | |
VAMPIRE: Implement Vampire measurement code
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF index 73ebb2c7..623e0046 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF | |||
| @@ -14,9 +14,18 @@ Export-Package: hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm, | |||
| 14 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.util, | 14 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.util, |
| 15 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.util | 15 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.util |
| 16 | Require-Bundle: org.eclipse.viatra.query.runtime, | 16 | Require-Bundle: org.eclipse.viatra.query.runtime, |
| 17 | <<<<<<< HEAD | ||
| 17 | org.eclipse.core.runtime, | 18 | org.eclipse.core.runtime, |
| 18 | org.eclipse.emf.ecore;visibility:=reexport, | 19 | org.eclipse.emf.ecore;visibility:=reexport, |
| 19 | com.google.guava;bundle-version="15.0.0" | 20 | com.google.guava;bundle-version="15.0.0" |
| 20 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 21 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
| 21 | Bundle-ActivationPolicy: lazy | 22 | Bundle-ActivationPolicy: lazy |
| 23 | ======= | ||
| 24 | org.eclipse.core.runtime, | ||
| 25 | org.eclipse.emf.ecore;visibility:=reexport, | ||
| 26 | com.google.guava;bundle-version="15.0.0" | ||
| 27 | >>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code | ||
| 22 | Import-Package: org.apache.log4j | 28 | Import-Package: org.apache.log4j |
| 29 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph | ||
| 30 | Bundle-ActivationPolicy: lazy | ||
| 31 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||