a

abstract-interpretation-framework_2.12

Abstract Interpretation Framework
http://www.opal-project.de
BSD-2-Clause
de.opal-project
Michael Eichberg Michael Reif
abstract interpretation framework
Files download
File Operation
abstract-interpretation-framework_2.12-2.0.0.jar download
abstract-interpretation-framework_2.12-2.0.0.pom download
abstract-interpretation-framework_2.12-2.0.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.opal-project</groupId>
  <artifactId>abstract-interpretation-framework_2.12</artifactId>
  <version>2.0.0</version>
</dependency>
Gradle Groovy 
implementation 'de.opal-project:abstract-interpretation-framework_2.12:2.0.0'
Gradle Kotlin 
implementation("de.opal-project:abstract-interpretation-framework_2.12:2.0.0")
Scala SBT 
libraryDependencies += "de.opal-project" % "abstract-interpretation-framework_2.12" % "2.0.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.opal-project', module='abstract-interpretation-framework_2.12', version='2.0.0')
)
Apache Ivy 
<dependency org="de.opal-project" name="abstract-interpretation-framework_2.12" rev="2.0.0" />
Leiningen 
[de.opal-project/abstract-interpretation-framework_2.12 "2.0.0"]
Apache Buildr 
'de.opal-project:abstract-interpretation-framework_2.12:jar:2.0.0'
Dependencies

compile

|-- org.scala-lang:scala-library:2.12.7

|-- de.opal-project:bytecode-representation_2.12:2.0.0

test

|-- junit:junit:4.12

|-- org.scalatest:scalatest_2.12:3.0.5

|-- org.scalacheck:scalacheck_2.12:1.14.0