From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 20 Mar 2019 16:09:09 +0100 Subject: Fault tree transformation for partial models WIP --- .../META-INF/MANIFEST.MF | 25 ++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF new file mode 100644 index 00000000..59c1c5f7 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF @@ -0,0 +1,25 @@ +Manifest-Version: 1.0 +Bundle-ManifestVersion: 2 +Bundle-Name: Ui +Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.faulttree.ui;singleton:=true +Bundle-Version: 1.0.0.qualifier +Bundle-Activator: hu.bme.mit.inf.dslreasoner.faulttree.ui.Activator +Require-Bundle: org.eclipse.ui, + org.eclipse.core.runtime, + com.google.guava, + org.eclipse.xtext.xbase.lib, + org.eclipse.xtend.lib, + org.eclipse.xtend.lib.macro, + org.eclipse.core.resources, + org.eclipse.emf.ecore, + org.eclipse.viatra.query.runtime, + org.eclipse.viatra.query.runtime.rete, + org.eclipse.viatra.query.runtime.localsearch, + hu.bme.mit.inf.dslreasoner.logic.model, + hu.bme.mit.inf.dslreasoner.faulttree.components, + hu.bme.mit.inf.dslreasoner.faulttree.transformation, + hu.bme.mit.inf.dslreasoner.application, + hu.bme.mit.inf.dslreasoner.application.ui +Bundle-RequiredExecutionEnvironment: JavaSE-1.8 +Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.faulttree.ui +Bundle-ActivationPolicy: lazy -- cgit v1.2.3-54-g00ecf