library

License	Simplified BSD License
GroupId	org.sireum
ArtifactId	library_2.12
Last Version	3.3.1
Release Date	Sep 30, 2018
Type	jar
Description	library library
Project URL	https://github.com/sireum/v3-runtime/
Project Organization	org.sireum
Source Code Management	https://github.com/sireum/v3-runtime.git

Download library_2.12

Filename	Size
library_2.12-3.3.1.pom
library_2.12-3.3.1.jar	854 KB
library_2.12-3.3.1-sources.jar	77 KB
library_2.12-3.3.1-javadoc.jar	2 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.sireum/library_2.12/ -->
<dependency>
    <groupId>org.sireum</groupId>
    <artifactId>library_2.12</artifactId>
    <version>3.3.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.sireum/library_2.12/
implementation 'org.sireum:library_2.12:3.3.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.sireum/library_2.12/
implementation ("org.sireum:library_2.12:3.3.1")

Apache Buildr

'org.sireum:library_2.12:jar:3.3.1'

Apache Ivy

<dependency org="org.sireum" name="library_2.12" rev="3.3.1">
  <artifact name="library_2.12" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.sireum', module='library_2.12', version='3.3.1')
)

Scala SBT

libraryDependencies += "org.sireum" % "library_2.12" % "3.3.1"

Leiningen

[org.sireum/library_2.12 "3.3.1"]

Dependencies

compile (2)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.12.7
org.sireum : macros_2.12	jar	3.3.1

test (2)

Group / Artifact	Type	Version
org.scalatest : scalatest_2.12	jar	3.0.4
org.spire-math : spire_2.12	jar	0.13.0

Project Modules

There are no modules declared in this project.

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

Sireum

Versions

Version
3.3.1 Sep 30, 2018
3.3.0 Feb 24, 2018
3.2 Jan 13, 2018
3.1.4 Oct 28, 2017
3.1.3 Oct 25, 2017
3.1.2 Oct 17, 2017
3.1.1 Oct 16, 2017