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
3 versions found for sbt-stainless
0.2.0
6 years ago
sbt 1.x:
2.12
0.1.1
6 years ago
sbt 1.x:
2.12
0.1.0
6 years ago
sbt 1.x:
2.12