sireum / scalac-plugin 4.0.0

BSD 2-clause "Simplified" License GitHub

Slang Scala 2.x Compiler Plugin

Scala versions: 2.12

Latest version

[![scalac-plugin Scala version support](https://index.scala-lang.org/sireum/scalac-plugin/scalac-plugin/latest.svg)](https://index.scala-lang.org/sireum/scalac-plugin/scalac-plugin)

JVM badge

[![scalac-plugin Scala version support](https://index.scala-lang.org/sireum/scalac-plugin/scalac-plugin/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/sireum/scalac-plugin/scalac-plugin)