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

Actions Status
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