sireum / runtime

Slang Runtime Library

GitHub

Version Matrix

Sireum Runtime Library

Branch	macOS	Linux	Windows	Maven
release
master				N/A

This repository holds the Slang runtime library.

libraryDependencies += "org.sireum" %%% "macros" % "3.1.4"

Ammonite REPL

import $ivy.`org.sireum::macros:3.1.4`

<dependency>
  <groupId>org.sireum</groupId>
  <artifactId>macros_sjs0.6_2.12</artifactId>
  <version>3.1.4</version>
</dependency>

compile group: 'org.sireum', name: 'macros_sjs0.6_2.12', version: '3.1.4'

ivy"org.sireum::macros:3.1.4"