-
Notifications
You must be signed in to change notification settings - Fork 2
/
versions.properties
68 lines (62 loc) · 2.53 KB
/
versions.properties
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
# Scala compiler plugin for Slang
org.sireum%%scalac-plugin%=4.20250108.63eb5d3
# Libraries
org.antlr%antlr-runtime%=3.5.3
org.antlr%antlr4-runtime%=4.13.2
org.apache.commons%commons-compress%=1.27.1
org.ow2.asm%asm%=9.7.1
org.sireum%automaton%=4.20220102.836f80d
org.sireum%hamr-sysml-parser%=4.20241217.37db1be
org.sireum%smtlib-parser%=4.20241007.79dac29
org.kohsuke%github-api%=1.326
com.zaxxer%nuprocess%=3.0.0
com.lihaoyi%%os-lib%=0.11.3
org.sireum%presentasi-jfx%=4.20220922.aaef404
org.scala-lang%scala-library%=2.13.15
org.scalameta%%scalafmt-cli%=3.8.3
org.scalameta%%scalameta%%=4.12.3
org.scalatest%%scalatest%%=3.2.19
org.scala-lang.modules%%scala-java8-compat%=1.0.2
org.scala-lang.modules%%scala-parallel-collections%=1.2.0
it.unimi.dsi%fastutil-core%=8.5.15
# Scala.js + Libraries
org.scala-js%%%scalajs-compiler%=1.18.1
org.scala-js%%scalajs-dom%%=2.8.0
com.lihaoyi%%scalatags%%=0.13.1
# Applications
org.sireum.version.java=23.0.1+13
org.sireum.version.7zip=24.08
org.sireum.version.cvc=5-1.2.0,4-1.8
org.sireum.version.coursier=2.1.23
org.sireum.version.forms=4.20250106.48601e9
org.sireum.version.jacoco=0.8.12
org.sireum.version.nik=23+38,24.1.0+1
org.sireum.version.z3=4.13.3
# Optional Applications
org.sireum.version.checkstack=v6.12
org.sireum.version.cosmocc=4.0.2
org.sireum.version.cosmos=4.0.2
org.sireum.version.idea=2024.3.1.1
org.sireum.version.mill=0.12.5
org.sireum.version.vscodium=1.96.0.24347
# IntelliJ Plugins = isCommunity, isJar, updateVer
org.sireum.version.plugin.antlr=true,false,614947
org.sireum.version.plugin.diagrams=true,false,566404
org.sireum.version.plugin.gitlab=true,false,640903
org.sireum.version.plugin.ksu-cis-706-jdt-astview=true,false,0.0.2
org.sireum.version.plugin.lsp4ij=true,false,651509
org.sireum.version.plugin.native-debug=false,false,646589
org.sireum.version.plugin.pdfviewer=true,false,615424
org.sireum.version.plugin.rust=false,false,654680
org.sireum.version.plugin.scala=true,false,652338
org.sireum.version.plugin.sireum-intellij-plugin=true,false,4.20241212.ca58915
org.sireum.version.plugin.sireum-intellij-injector=true,true,4.20240406.814cb2f
org.sireum.version.plugin.sireum-intellij-asm=true,false,9.7.1
org.sireum.version.plugin.swing-ui-designer=true,false,654578
org.sireum.version.plugin.terminal=true,false,644666
org.sireum.version.plugin.texify=true,false,642596
org.sireum.version.plugin.toml=true,false,630064
org.sireum.version.plugin.zigbrains=true,false,656685
# VSCodium Extensions
org.sireum.version.vscodium.extension=4.20241212.2d4e20d
org.sireum.version.vscodium.extension.syside=0.6.2