sireum / runtime   3.3.1

GitHub

Slang Runtime Library

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