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)