DownloadPriorVersions: Difference between revisions

Revision as of 07:32, 5 April 2023

Below are details for releases 1.11.1 back to 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.11.1
Linux	29.12.2021	Tarball	Java 7 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 7 or newer ( for Oracle's Java 17 read instructions below), GraphViz, Windows Installation Instructions
macOS	29.12.2021	Zipfile (notarized) Homebrew Tap	macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 7 or newer (see below), Graphviz (see below)

Platform	Release Date	Download (64 bit)	Dependencies
1.11.0
Linux	6.10.2021	Tarball	Java 7 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 7 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 7 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.10.2
Linux	21.1.2021	Tarball	Java 7 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 7 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 7 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.10.0-final
Linux	15.12.2020	Tarball	Java 7 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 7 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 7 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 1: / Line 1: @@
 {{DISPLAYTITLE:Prior Versions of ProB}}
-Below are details for releases 1.10.2 back to 1.3.1.
+Below are details for releases 1.11.1 back to 1.3.1.
 If you are interested in earlier releases, please have a look at the [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/ Download directory].
@@ Line 6: / Line 6: @@
 [http://cs.swansea.ac.uk/~csnga/timed-csp-simulator.html Swansea University (UK)] is available on here:
 https://stups.hhu-hosting.de/downloads/prob/timed-csp/
+{| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->
+! Platform
+! Release Date
+! Download
+! Dependencies
+|-
+| colspan="4" style="background-color:lightgrey;" | 1.11.1
+|-
+| Linux
+| 29.12.2021
+| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB.linux64.tar.gz Tarball]<br/>
+| Java 7 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.5 ([[#Tcl/Tk on Linux|see below]]), [https://www.graphviz.org/download/ GraphViz]
+|-
+| Windows
+| 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 7 or newer ([[#Java Requirements for B parser| for Oracle's Java 17 read instructions below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
+|-
+| macOS
+| 29.12.2021
+| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized)   <br/>
+[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
+| macOS 10.14 (Mojave) or newer, Tcl/Tk ([[#Tcl/Tk on macOS|see below]]), Java 7 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]])
+|}
 {| class="table table-bordered wikitable"