sireum / runtime 3.3.1

BSD 2-clause "Simplified" License GitHub

Slang Runtime Library

Scala versions: 2.12

Scala.js versions: 0.6

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
```