DownloadPriorVersions: Difference between revisions

Latest revision as of 10:31, 1 July 2024

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/

Nightly builds of ProB 2 (deprecated) for Rodin 3 can be obtained from within Rodin using the update site https://stups.hhu-hosting.de/rodin/prob2/nightly/ (this will probably be replaced by a Java FX version in the future)

A hot-fix release of 1.12.0 is available here: https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2-fix1/.

Platform	Release Date	Download	Dependencies
1.12.2
Linux	10.8.2023	Tarball	Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows	10.8.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	10.8.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.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 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/
+Nightly builds of ProB 2 (deprecated) for Rodin 3 can be obtained from within Rodin using the update site https://stups.hhu-hosting.de/rodin/prob2/nightly/ (this will probably be replaced by a Java FX version in the future)
+A hot-fix release of 1.12.0 is available here: [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2-fix1/ https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2-fix1/].
+{| 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.12.2
+|-
+| Linux
+| 10.8.2023
+| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2/ProB.linux64.tar.gz Tarball]<br/>
+| Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Linux|see below]]), [https://www.graphviz.org/download/ GraphViz]
+|-
+| Windows
+| 10.8.2023
+| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2/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|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
+|-
+| macOS
+| 10.8.2023
+| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2/ProB.macos.zip Zipfile] (Universal ARM/Intel notarized)<br/>
+[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] (not yet updated)
+| macOS 10.14 (Mojave) or newer, Tcl/Tk ([[#Tcl/Tk on macOS|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]])
+|}
@@ Line 24: / Line 54: @@
 | 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
 | 30.4.2023
-| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.macos.zip Zipfile] (Universal Arm/Intel notarized)   <br/>
+| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.macos.zip Zipfile] (Universal ARM/Intel notarized)<br/>
 [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] (not yet updated)
 | macOS 10.14 (Mojave) or newer, Tcl/Tk ([[#Tcl/Tk on macOS|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]])
@@ Line 49: / Line 79: @@
 | 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
 | 4.4.2023
-| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.aarch64.notarized.zip Zipfile] (Arm notarized)   <br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.x86_64.notarized.zip Zipfile] (Intel  notarized)   <br/>
+| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.aarch64.notarized.zip Zipfile] (ARM notarized)<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.x86_64.notarized.zip Zipfile] (Intel notarized)<br/>
 [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] (not yet updated)
 | macOS 10.14 (Mojave) or newer, Tcl/Tk ([[#Tcl/Tk on macOS|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]])
@@ Line 74: / Line 104: @@
 | 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