2015-06-09 20:35:09 +00:00
|
|
|
Manifest-Version: 1.0
|
|
|
|
Bundle-ManifestVersion: 2
|
|
|
|
Bundle-Name: DASCA - Dataflow Analysis
|
|
|
|
Bundle-SymbolicName: eu.aniketos.dasca.dataflow;singleton:=true
|
|
|
|
Bundle-Version: 0.1.0
|
|
|
|
Bundle-Activator: eu.aniketos.dasca.dataflow.Activator
|
2015-06-13 09:40:31 +00:00
|
|
|
Require-Bundle: org.eclipse.ui,
|
|
|
|
org.eclipse.core.runtime,
|
|
|
|
org.eclipse.core.resources,
|
|
|
|
org.eclipse.jdt.core,
|
|
|
|
com.ibm.wala.cast,
|
|
|
|
com.ibm.wala.cast.java,
|
|
|
|
com.ibm.wala.ide,
|
|
|
|
com.ibm.wala.core,
|
|
|
|
com.ibm.wala.shrike,
|
2015-06-14 17:13:08 +00:00
|
|
|
com.ibm.wala.ide.jdt,
|
|
|
|
org.apache.log4j,
|
2016-08-28 00:24:24 +00:00
|
|
|
org.junit,
|
|
|
|
com.ibm.wala.cast.java.ecj
|
2015-06-09 20:35:09 +00:00
|
|
|
Bundle-ActivationPolicy: lazy
|
|
|
|
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
|
|
|
Import-Package: org.eclipse.ui.wizards.datatransfer
|
|
|
|
Bundle-ClassPath: .,
|
2016-08-21 21:03:26 +00:00
|
|
|
lib/libcvc3-5.0.0.jar,
|
2015-06-14 17:13:08 +00:00
|
|
|
walaUtil.jar,
|
|
|
|
junit.jar,
|
|
|
|
jdi.jar,
|
|
|
|
jdimodel.jar,
|
|
|
|
pdebuild.jar
|