sireum / runtime

Slang Runtime Library

Version Matrix

Sireum Runtime Library

Branch macOS Linux Windows Maven
release Travis CI Status Shippable Status Appveyor status Maven Central
master Travis CI Status Shippable Status Appveyor status N/A

This repository holds the Slang runtime library.