overlogged / sbt-stainless 0.2.0

Apache License 2.0 GitHub

A sbt plugin for stainless users to verify code in sbt command line.

Scala versions: 2.12

sbt plugins: 1.0

sbt-stainless 0.1.0

Group ID:

org.zjulambda.scala

Artifact ID:

sbt-stainless

Version:

0.1.0

Release Date:

Oct 19, 2017

Licenses:

Files:

sbt

addSbtPlugin("org.zjulambda.scala" % "sbt-stainless" % "0.1.0")