sireum / runtime

Slang Runtime Library

GitHub

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.