sireum / scalac-plugin 4.0.0

BSD 2-clause "Simplified" License GitHub

Slang Scala 2.x Compiler Plugin

Scala versions: 2.12

Scala 2.x Compiler Plugin for The Sireum Language (Slang)

This plugin provides syntactic program transformations to allow compiling Slang programs using the latest Scala 2.x standard compiler.