Stable (Latest)

Development (Latest)

Additional Packages

Platforms

Stable (Latest)

App / Lib

Version

License

Distro Feature

Platforms

ADT

23.0.4

EPL v1.0

AmandroidDev

*

Antlr

4.4

BSD

Sireum Lib

*

Antlr3

3.5.2

BSD

Sireum Lib

*

Antlr4IDE

0.3.4

EPL v1.0

Antlr

*

AntlrWorks

1.4.2

BSD

Antlr

*

Apache Commons Lang

3.3.2

Apache License v2.0

Sireum Lib

*

Apache Tika

1.7

Apache License v2.0

Sireum Lib

*

Apfloat for Java

1.8.1

LGPL v2.1

Sireum Lib

*

apktool

2.0.0 RC3

Apache License v2.0

Sireum Amandroid

*

ASM

5.0.3

BSD

Sireum Lib

*

AXMLPrinter2

2.0

Apache License v2.0

Sireum Lib

*

Blueprints

2.6.0

BSD

Sireum Jawa

*

BRICS Automaton

1.11-8

BSD

Sireum Lib

*

Bytecode Outline

2.4.3

BSD

EclipseBase

*

EasyShell

1.4.2

GPLv2

EclipseBase

*

Eclemma

2.3.2

EPL v1.0

EclipseBase

*

Eclipse CDT

8.6.0

EPL v1.0

EclipseBase

*

Eclipse Color Themes

0.14.0

EPL v1.0

EclipseBase

*

Eclipse GEF

3.9.101

EPL v1.0

EclipseBase

*

Eclipse DTP

1.12.0

EPL v1.0

EclipseBase

*

Eclipse DSL

4.4.2

EPL v1.0

Eclipse

*

Eclipse EMF+XSD

2.10.1

EPL v1.0

EclipseBase

*

Eclipse JDT ASTView

1.1.9.201406161921

EPL v1.0

EclipseBase

*

Eclipse Fonts

1.0.4

Apache License v2.0

SireumDev

*

Eclipse TCF+Terminals

1.2.0

EPL v1.0

EclipseBase

*

Eclipse WTP

3.6.0

EPL v1.0

EclipseBase

*

Egit

3.6.2.201501210735-r

EPL v1.0

EclipseBase

*

GFM Viewer

1.9.3

EPL v1.0

EclipseBase

*

GNAT

GPL 2014

GPLv3

Gnat

* (mac64: OS X 10.7-10.9)

GraphViz’s dot

20120927.0445

EPL v1.0

GraphViz

*

Guava

18.0

Apache License v2.0

Sireum Lib

*

javax.servlet-api

3.1.0

CDDL

Sireum Lib

*

javax.websocket-api

1.1

CDDL

Sireum Lib

*

JDK

SE 8u45

Oracle Binary Code License

Platform

*

Jettison

1.3.7

Apache License v2.0

Sireum Lib

*

Jetty

9.2.6

EPL v1.0

Sireum Lib

*

JGraphT

0.9.0

LGPL v2.1

Sireum Lib

*

jsr305

3.0.0

Apache License v2.0

Sireum Lib

*

MapDB

1.0.6

Apache License v2.0

Sireum Lib

*

Markdown Editor

1.1.0

EPL v1.0

EclipseBase

*

ObjectAid

1.1.8

Free

EclipseBase

*

OSATE

2.0.8

EPL v1.0

Osate

*

PyDev

3.9.2

EPL v1.0

Python

*

ReST Editor

1.0.5.201110101040

EPL v1.0

SireumDev

*

RxJava

0.20.6

Apache License v2.0

Sireum Lib

*

Sbt

0.13.8

BSD

Build

*

Scala

2.11.6

BSD

Platform

*

Scala IDE

4.0.0 for Scala 2.11.6

BSD

SireumDev

*

Scala Logging

3.1.0

Apache License v2.0

Sireum Lib

*

Sireum Bakar

1.0-x

EPL v1.0

BakarV1

*

Spark Ada

2012

GPLv3

Spark

*

StringTemplate

4.0.8

BSD

Sireum Lib

*

Subversive

2.0.4.I20150123-1700

EPL v1.0

EclipseBase

*

Texlipse

1.5.0

EPL v1.0

Eclipse

*

Vrapper

0.52.1

Open Source

Vim

*

WindowBuilder

1.7.0

EPL v1.0

EclipseBase

*

XMLPull

1.1.3.1

Public Domain

Sireum Lib

*

XPP3 Min

1.1.4c

Indiana University Extreme! Lab Software License

v1.1.1

Sireum Lib

*

XStream

1.4.7

BSD

Sireum Lib

*

YEdit

1.0.16

EPL v1.0

EclipseBase

*

Z3

4.1

MRLA Non-Commercial

Z3

*

Development (Latest)

The following table lists packages that differ (add/remove/modify) from the stable packages listed above.

App / Lib

Version

License

Distro Feature

Platforms

ADT

23.0.7

EPL v1.0

AmandroidDev

*

Antlr4IDE

0.3.5

EPL v1.0

Antlr

*

Apache Commons Lang

3.4

Apache License v2.0

Sireum Lib

*

Apache Tika

1.8

Apache License v2.0

Sireum Lib

*

Apfloat for Java

1.8.2

LGPL v2.1

Sireum Lib

*

ASM

5.0.4

BSD

Sireum Lib

*

Eclipse CDT

8.8.0

EPL v1.0

EclipseBase

*

Eclipse Color Themes

0.11.0

EPL v1.0

EclipseBase

*

Eclipse CVS

4.5.1

EPL v1.0

EclipseBase

*

Eclipse DTP

1.12.0

EPL v1.0

EclipseBase

*

Eclipse DSL

4.4.2

EPL v1.0

Eclipse

*

Eclipse DTP

1.12.0

EPL v1.0

EclipseBase

*

Eclipse JEE

4.5.1

EPL v1.0

Eclipse

*

Eclipse EMF+XSD

2.10.1

EPL v1.0

EclipseBase

*

Eclipse GEF

3.9.101

EPL v1.0

EclipseBase

*

Eclipse MWE2

2.8.1

EPL v1.0

EclipseBase

*

Eclipse TMF Xtext

2.8.3

EPL v1.0

EclipseBase

*

Eclipse Xpand

2.1.0

EPL v1.0

EclipseBase

*

Egit

4.0.1.201506240215-r

EPL v1.0

EclipseBase

*

JDK

SE 8u45

Oracle Binary Code License

Platform

*

JGraphT

0.9.1

LGPL v2.1

Sireum Lib

*

MapDB

1.0.7

Apache License v2.0

Sireum Lib

*

OSATE

2.1.0

EPL v1.0

Osate

*

PyDev

4.4.0

EPL v1.0

Python

*

RxJava

0.20.7

Apache License v2.0

Sireum Lib

*

Scala

2.11.7

BSD

Platform

*

Scala IDE

4.3.0 for Scala 2.11.7

BSD

SireumDev

*

Subclipse

1.10.10

EPL v1.0

EclipseBase

*

Subversive

2.0.4.I20150123-1700

EPL v1.0

EclipseBase

*

Vrapper

0.60

Open Source

Vim

*

XStream

1.4.8

BSD

Sireum Lib

*

Z3

4.4

MIT License

Z3

*

Zulu

SE 8u66

GPLv2+ce

Platform

*

Additional Packages

The following table lists packages that are not distributed in Sireum Distro but used in Sireum.

App / Lib

Version

License

Project

Platforms

Ace

Custom

BSD

Sireum Server

*

Alertify

0.3.11

MIT License

Sireum Server

*

D3

3.5.3

BSD

Sireum Server

*

Dagre D3

0.4.2

BSD

Sireum Server

*

Ext JS

5.1

GPLv3 with Exceptions for Applications

Sireum Server

*

FEST Assert

2.0M10

Apache License v2.0

Sireum Lib

*

FileSaver

2015-01-04

MIT License

Sireum Server

*

Font Awesome

4.3.0

MIT License

Sireum Server

*

Hamcrest (core)

1.3

BSD

Sireum Lib

*

JSZip

2.4.0

MIT License

Sreum Server

*

JUnit

4.12

CPL v1.0

Sireum Lib

*

MathJax

2.5

Apache License v2.0

Sireum Server

*

Mousetrap

1.4.6

Apache License v2.0

Sireum Server

*

Scala.js

0.6.2

BSD

Sireum.js

*

Scala.js DOM

0.8.0

MIT License

Sireum.js

*

ScalaTest

2.2.5 for Scala 2.11

Apache License v2.0

Sireum Lib

*

SLF4J

1.7.12

MIT License

Sireum Lib

*

XMLUnit

1.6

BSD

Sireum Lib

*

Platforms

ID

Architecture

OS

mac64

x86 64-bit

OS X 10.7 or above

linux64

x86 64-bit

Linux
(test: Ubuntu 12.04 LTS)

win64

x86 64-bit

Windows 7 or above

*

all of the above

all of the above