sireum / scalac-plugin

Slang Scala 2.x Compiler Plugin

Version Matrix

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.