sireum/runtime

Slang Runtime Library

ScalaBSD-2-Clause

Sireum Runtime Library


_{^{amd64: mac, linux, windows}}	_{^{maven package repository}}

This repository holds the Slang runtime library.

Testing

macOS/Linux
```
bin/build.cmd test test-js
```
Windows
```
bin\build.cmd test test-js
```