DownloadPriorVersions: Difference between revisions

Revision as of 10:27, 11 August 2023

Below are details for releases going back to ProB 1.3.1. If you are interested in earlier releases, please have a look at the Download directory.

A version of ProB with built-in support for timed CSP developed by Swansea University (UK) is available on here: https://stups.hhu-hosting.de/downloads/prob/timed-csp/

Platform	Release Date	Download	Dependencies
1.12.1
Linux	30.4.2023	Tarball	Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows	30.4.2023	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS	30.4.2023	Zipfile (Universal Arm/Intel notarized) Homebrew Tap (not yet updated)	macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)

Platform	Release Date	Download	Dependencies
1.12.0
Linux	4.4.2023	Tarball	Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows	4.4.2023	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS	4.4.2023	Zipfile (Arm notarized) Zipfile (Intel notarized) Homebrew Tap (not yet updated)	macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)

Platform	Release Date	Download	Dependencies
1.11.1
Linux	29.12.2021	Tarball	Java 8 or newer (see below), Tcl/Tk 8.5 (see below), GraphViz
Windows	29.12.2021	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS	29.12.2021	Zipfile (notarized) Homebrew Tap	macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)

Platform	Release Date	Download (64 bit)	Dependencies
1.11.0
Linux	6.10.2021	Tarball	Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows	6.10.2021	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 8 or newer, GraphViz, Windows Installation Instructions
OS X	6.10.2021	Zipfile (notarized Tk 8.5) Zipfile (notarized Tk 8.6) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 8 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.10.2
Linux	21.1.2021	Tarball	Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows	21.1.2021	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 8 or newer, GraphViz, Windows Installation Instructions
OS X	21.1.2021	Zipfile (notarized) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 8 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.10.0-final
Linux	15.12.2020	Tarball	Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows	15.12.2020	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 8 or newer, GraphViz, Windows Installation Instructions
OS X	15.12.2020	Zipfile (notarized) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 8 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.9.3-final
Linux	19.2.2020	Tarball	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	19.2.2020	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 7 or newer, GraphViz, Windows Installation Instructions
OS X	19.2.2020	Zipfile (notarized) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.9.2-release
Linux	11.11.2019	Tarball	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	11.11.2019	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 7 or newer, GraphViz, Windows Installation Instructions
OS X	11.11.2019	Tarball Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download (64 bit)	Dependencies
1.9.1-release
Linux	8.11.2019	Tarball	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	8.11.2019	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 7 or newer, GraphViz, Windows Installation Instructions
OS X	8.11.2019	Tarball Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download (64 bit)	Dependencies
1.9.0-release
Linux	12.7.2019	Tarball	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	12.7.2019	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 7 or newer, GraphViz, Windows Installation Instructions
OS X	12.7.2019	Tarball Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.8.2-final
Linux	1.10.2018	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	1.10.2018	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	1.10.2018	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.8.0-final
Linux	20.3.2018	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	20.3.2018	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	20.3.2018	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.7.1-final
Linux	5. October 2017	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5
Windows	5. October 2017	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	12. October 2017	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.7.0-final
Linux	11. July 2017	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5
Windows	11. July 2017	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	11. July 2017	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5, Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.6.1-final
Linux	22. April 2016	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5
Windows	22. April 2016	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	22. April 2016	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5, Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.6.0-SR1
Linux	22. April 2016	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5
Windows	22. April 2016	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions
OS X	22. April 2016	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5, Java 7 or newer, Graphviz for Mac OS X
1.5.0-final
Linux	19. February 2015	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 5.0 or newer, Tcl/Tk 8.5
Windows	19. February 2015	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 5.0 or newer, Windows Installation Instructions
OS X	19. February 2015	Tarball (with probcli) (64bit) Homebrew Tap	Tcl/TK 8.5 Java 5.0 or newer, Graphviz for Mac OS X
1.3.6-final
Linux	4. March 2013	Tarball (32bit), Tarball (64bit),	Java 5.0 or newer, Tcl/Tk 8.5
Windows	4. March 2013	Zipfile (with probcli)	Tcl/Tk 8.5 for Windows, Java 5.0 or newer, Windows Installation Instructions
Mac OS X, Snow Leopard, Intel (64-bit)	4. March 2013	Tarball (with probcli)	Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13) Graphviz for Mac OS X
Mac OS X, Leopard, Intel (32-bit)	4. March 2013	Tarball (with probcli)	Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11), Graphviz for Mac OS X

@@ Line 24: / Line 24: @@
 | 30.4.2023
 | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
-| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser| for Oracle's Java 17 read instructions below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
+| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
 |-
 | macOS
@@ Line 49: / Line 49: @@
 | 4.4.2023
 | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
-| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser| for Oracle's Java 17 read instructions below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
+| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
 |-
 | macOS
@@ Line 74: / Line 74: @@
 | 29.12.2021
 | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
-| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser| for Oracle's Java 17 read instructions below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
+| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
 |-
 | macOS