sireum / runtime   3.3.1

BSD 2-clause "Simplified" License GitHub

Slang Runtime Library

Scala versions: 2.11 2.12
Scala.js versions: 0.6

Latest version

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

Scala.js 0.6 badge

[![library Scala version support](https://index-dev.scala-lang.org/sireum/runtime/library/latest-by-scala-version.svg?platform=sjs0.6)](https://index-dev.scala-lang.org/sireum/runtime/library)

JVM badge

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