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.
