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
License |
License |
---|---|
GroupId | GroupIdorg.sireum |
ArtifactId | ArtifactIdlogika-runtime_2.11 |
Last Version | Last Version3.0.0-7 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionlogika-runtime
logika-runtime
|
Project URL |
Project URL |
Project Organization |
Project Organizationorg.sireum |
Source Code Management |
Source Code Management |
<!-- https://jarcasting.com/artifacts/org.sireum/logika-runtime_2.11/ -->
<dependency>
<groupId>org.sireum</groupId>
<artifactId>logika-runtime_2.11</artifactId>
<version>3.0.0-7</version>
</dependency>
// https://jarcasting.com/artifacts/org.sireum/logika-runtime_2.11/
implementation 'org.sireum:logika-runtime_2.11:3.0.0-7'
// https://jarcasting.com/artifacts/org.sireum/logika-runtime_2.11/
implementation ("org.sireum:logika-runtime_2.11:3.0.0-7")
'org.sireum:logika-runtime_2.11:jar:3.0.0-7'
<dependency org="org.sireum" name="logika-runtime_2.11" rev="3.0.0-7">
<artifact name="logika-runtime_2.11" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.sireum', module='logika-runtime_2.11', version='3.0.0-7')
)
libraryDependencies += "org.sireum" % "logika-runtime_2.11" % "3.0.0-7"
[org.sireum/logika-runtime_2.11 "3.0.0-7"]
Group / Artifact | Type | Version |
---|---|---|
org.scala-lang : scala-library | jar | 2.11.8 |
org.apfloat : apfloat | jar | 1.8.2 |
org.scala-lang : scala-reflect | jar | 2.11.8 |
org.spire-math : spire_2.11 | jar | 0.11.0 |
Group / Artifact | Type | Version |
---|---|---|
com.novocode : junit-interface | jar | 0.11 |
amd64: mac, linux, windows | maven package repository |
This repository holds the Slang runtime library.
macOS/Linux
bin/build.cmd test test-js
Windows
bin\build.cmd test test-js