epfl-lara / stainless   0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1

Apache License 2.0 Website GitHub

Verification framework and tool for higher-order Scala programs

Scala versions: 2.11

stainless-dotty 0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1


Group ID:
ch.epfl.lara
Artifact ID:
stainless-dotty_2.11
Version:
0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
Release Date:
Mar 5, 2018
Licenses:

libraryDependencies += "ch.epfl.lara" %% "stainless-dotty" % "0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1"
resolvers += Resolver.bintrayRepo("epfl-lara", "maven")

Mill build tool

ivy"ch.epfl.lara::stainless-dotty:0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1"
MavenRepository("https://dl.bintray.com/epfl-lara/maven")

Scala CLI

//> using lib "ch.epfl.lara::stainless-dotty:0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1"

Ammonite REPL

import $ivy.`ch.epfl.lara::stainless-dotty:0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1`
import ammonite._, Resolvers._
val res = Resolver.Http(
  "Bintray epfl-lara maven",
  "Some(https://dl.bintray.com/epfl-lara/maven)",
  IvyPattern,
  false)
interp.resolvers() = interp.resolvers() :+ res

<dependency>
  <groupId>ch.epfl.lara</groupId>
  <artifactId>stainless-dotty_2.11</artifactId>
  <version>0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1</version>
</dependency>

compile group: 'ch.epfl.lara', name: 'stainless-dotty_2.11', version: '0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1'