(Removed all Java download links - Oracle Java is bad and AdoptOpenJDK is no longer updated) |
No edit summary |
||
(12 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{DISPLAYTITLE:Prior Versions of ProB}} | {{DISPLAYTITLE:Prior Versions of ProB}} | ||
Below are details for releases | 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 [ | If you are interested in earlier releases, please have a look at the [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/ Download directory]. | ||
A version of ProB with built-in support for timed CSP developed by | A version of ProB with built-in support for timed CSP developed by | ||
[http://cs.swansea.ac.uk/~csnga/timed-csp-simulator.html Swansea University (UK)] is available on here: | [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/]. | ||
! Platform | |||
! Release Date | {| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) --> | ||
! Download (64 bit) | ! 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]]) | |||
|} | |||
{| 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.1 | |||
|- | |||
| Linux | |||
| 30.4.2023 | |||
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/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 | |||
| 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|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://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]]) | |||
|} | |||
{| 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.0 | |||
|- | |||
| Linux | |||
| 4.4.2023 | |||
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/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 | |||
| 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|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://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]]) | |||
|} | |||
{| 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 8 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 8 or newer ([[#Java Requirements for B parser|see 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 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]]) | |||
|} | |||
{| class="table table-bordered wikitable" | |||
! Platform | |||
! Release Date | |||
! Download (64 bit) | |||
! Dependencies | ! Dependencies | ||
|- | |- | ||
Line 19: | Line 123: | ||
| Linux | | Linux | ||
| 6.10.2021 | | 6.10.2021 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB.linux64.tar.gz Tarball]<br/> | ||
| Java | | Java 8 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5], [http://www.graphviz.org/download/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 6.10.2021 | | 6.10.2021 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5) <br/> | ||
| [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk for Windows], | | [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk for Windows], | ||
Java | Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/> | ||
[[Windows Installation Instructions]] | [[Windows Installation Instructions]] | ||
|- | |- | ||
| OS X | | OS X | ||
| 6.10.2021 | | 6.10.2021 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized Tk 8.5) <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB_mac_os.x86_64.Tk86.notarized.zip Zipfile] (notarized Tk 8.6) <br/> | ||
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0), | ||
Java | Java 8 or newer, [http://www.graphviz.org/download/ Graphviz] | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
{| | ! Platform | ||
! Platform | ! Release Date | ||
! Release Date | ! Download (64 bit) | ||
! Download (64 bit) | |||
! Dependencies | ! Dependencies | ||
|- | |- | ||
Line 52: | Line 151: | ||
| Linux | | Linux | ||
| 21.1.2021 | | 21.1.2021 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB.linux64.tar.gz Tarball]<br/> | ||
| Java | | Java 8 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5], [http://www.graphviz.org/download/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 21.1.2021 | | 21.1.2021 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5) <br/> | ||
| [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk for Windows], | | [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk for Windows], | ||
Java | Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/> | ||
[[Windows Installation Instructions]] | [[Windows Installation Instructions]] | ||
|- | |- | ||
| OS X | | OS X | ||
| 21.1.2021 | | 21.1.2021 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized) <br/> | ||
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0), | ||
Java | Java 8 or newer, [http://www.graphviz.org/download/ Graphviz] | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
! Platform | |||
! Release Date | |||
{| | ! Download (64 bit) | ||
! Platform | |||
! Release Date | |||
! Download (64 bit) | |||
! Dependencies | ! Dependencies | ||
|- | |- | ||
Line 87: | Line 179: | ||
| Linux | | Linux | ||
| 15.12.2020 | | 15.12.2020 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB.linux64.tar.gz Tarball]<br/> | ||
| Java | | Java 8 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/download/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 15.12.2020 | | 15.12.2020 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/> | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | ||
Java | Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/> | ||
[[Windows Installation Instructions]] | [[Windows Installation Instructions]] | ||
|- | |- | ||
| OS X | | OS X | ||
| 15.12.2020 | | 15.12.2020 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized) <br/> | ||
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | ||
Java | Java 8 or newer, [http://www.graphviz.org/download/ Graphviz] | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
! Platform | |||
{| | ! Release Date | ||
! Platform | ! Download (64 bit) | ||
! Release Date | |||
! Download (64 bit) | |||
! Dependencies | ! Dependencies | ||
|- | |- | ||
Line 121: | Line 207: | ||
| Linux | | Linux | ||
| 19.2.2020 | | 19.2.2020 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.3/ProB.linux64.tar.gz Tarball]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/download/ GraphViz] | | Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/download/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 19.2.2020 | | 19.2.2020 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.3/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.3/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/> | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | ||
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/> | Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/> | ||
[[Windows Installation Instructions]] | [[Windows Installation Instructions]] | ||
|- | |- | ||
| OS X | | OS X | ||
| 19.2.2020 | | 19.2.2020 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.3/ProB_1.9.3.mac_os.notarized.zip Zipfile] (notarized) <br/> | ||
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | ||
Line 143: | Line 225: | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
! Platform | |||
{| | ! Release Date | ||
! Platform | ! Download (64 bit) | ||
! Release Date | |||
! Download (64 bit) | |||
! Dependencies | ! Dependencies | ||
|- | |- | ||
Line 155: | Line 235: | ||
| Linux | | Linux | ||
| 11.11.2019 | | 11.11.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.2/ProB.linux64.tar.gz Tarball]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | | Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 11.11.2019 | | 11.11.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.2/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/> | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | ||
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/> | Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/> | ||
[[Windows Installation Instructions]] | [[Windows Installation Instructions]] | ||
|- | |- | ||
| OS X | | OS X | ||
| 11.11.2019 | | 11.11.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.2/ProB.mac_os.x86_64.tar.gz Tarball] <br/> | ||
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | ||
Line 177: | Line 253: | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
{| | ! Platform | ||
! Platform | ! Release Date | ||
! Release Date | ! Download (64 bit) | ||
! Download (64 bit) | |||
! Dependencies | ! Dependencies | ||
|- | |- | ||
Line 188: | Line 263: | ||
| Linux | | Linux | ||
| 8.11.2019 | | 8.11.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.1/ProB.linux64.tar.gz Tarball]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | | Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 8.11.2019 | | 8.11.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.1/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/> | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | ||
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/> | Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/> | ||
[[Windows Installation Instructions]] | [[Windows Installation Instructions]] | ||
|- | |- | ||
| OS X | | OS X | ||
| 8.11.2019 | | 8.11.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.1/ProB.mac_os.x86_64.tar.gz Tarball] <br/> | ||
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | ||
Line 210: | Line 281: | ||
|} | |} | ||
{| | {| class="table table-bordered wikitable" | ||
! Platform | ! Platform | ||
! Release Date | ! Release Date | ||
! Download (64 bit) | ! Download (64 bit) | ||
! Dependencies | ! Dependencies | ||
|- | |- | ||
Line 220: | Line 291: | ||
| Linux | | Linux | ||
| 12.7.2019 | | 12.7.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.0/ProB.linux64.tar.gz Tarball]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | | Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 12.7.2019 | | 12.7.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.0/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/> | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | ||
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/> | Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/> | ||
[[Windows Installation Instructions]] | [[Windows Installation Instructions]] | ||
|- | |- | ||
| OS X | | OS X | ||
| 12.7.2019 | | 12.7.2019 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.0/ProB.mac_os.x86_64.tar.gz Tarball] <br/> | ||
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | ||
Line 242: | Line 309: | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
{| | |||
! Platform | ! Platform | ||
! Release Date | ! Release Date | ||
Line 255: | Line 319: | ||
| Linux | | Linux | ||
| 1.10.2018 | | 1.10.2018 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | | Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 1.10.2018 | | 1.10.2018 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | ||
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | ||
|- | |- | ||
| OS X | | OS X | ||
| 1.10.2018 | | 1.10.2018 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | ||
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
{| | |||
! Platform | ! Platform | ||
! Release Date | ! Release Date | ||
Line 287: | Line 345: | ||
| Linux | | Linux | ||
| 20.3.2018 | | 20.3.2018 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | | Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz] | ||
|- | |- | ||
| Windows | | Windows | ||
| 20.3.2018 | | 20.3.2018 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | ||
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | ||
|- | |- | ||
| OS X | | OS X | ||
| 20.3.2018 | | 20.3.2018 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | ||
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
{| | |||
! Platform | ! Platform | ||
! Release Date | ! Release Date | ||
Line 319: | Line 371: | ||
| Linux | | Linux | ||
| 5. October 2017 | | 5. October 2017 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5 | | Java 7 or newer, Tcl/Tk 8.5 | ||
|- | |- | ||
| Windows | | Windows | ||
| 5. October 2017 | | 5. October 2017 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | ||
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | ||
|- | |- | ||
| OS X | | OS X | ||
| 12. October 2017 | | 12. October 2017 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | | OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | ||
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
{| | |||
! Platform | ! Platform | ||
! Release Date | ! Release Date | ||
Line 350: | Line 397: | ||
| Linux | | Linux | ||
| 11. July 2017 | | 11. July 2017 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5 | | Java 7 or newer, Tcl/Tk 8.5 | ||
|- | |- | ||
| Windows | | Windows | ||
| 11. July 2017 | | 11. July 2017 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | ||
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | ||
|- | |- | ||
| OS X | | OS X | ||
| 11. July 2017 | | 11. July 2017 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | | OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | ||
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
{| | |||
! Platform | ! Platform | ||
! Release Date | ! Release Date | ||
Line 381: | Line 423: | ||
| Linux | | Linux | ||
| 22. April 2016 | | 22. April 2016 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5 | | Java 7 or newer, Tcl/Tk 8.5 | ||
|- | |- | ||
| Windows | | Windows | ||
| 22. April 2016 | | 22. April 2016 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | ||
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz] | ||
|- | |- | ||
| OS X | | OS X | ||
| 22. April 2016 | | 22. April 2016 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | | OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | ||
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
|} | |} | ||
{| class="table table-bordered wikitable" | |||
{| | |||
! Platform | ! Platform | ||
! Release Date | ! Release Date | ||
! Download | ! Download | ||
! Dependencies | ! Dependencies | ||
|- | |- | ||
| colspan="4" style="background-color:lightgrey;" | 1.6.0-SR1 | | colspan="4" style="background-color:lightgrey;" | 1.6.0-SR1 | ||
Line 413: | Line 449: | ||
| Linux | | Linux | ||
| 22. April 2016 | | 22. April 2016 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/> | ||
| Java 7 or newer, Tcl/Tk 8.5 | | Java 7 or newer, Tcl/Tk 8.5 | ||
|- | |- | ||
| Windows | | Windows | ||
| 22. April 2016 | | 22. April 2016 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | ||
Java 7 or newer, [[Windows Installation Instructions]] | Java 7 or newer, [[Windows Installation Instructions]] | ||
|- | |- | ||
| OS X | | OS X | ||
| 22. April 2016 | | 22. April 2016 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.mac_os.10.11.4.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | | OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | ||
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
Line 436: | Line 468: | ||
| Linux | | Linux | ||
| 19. February 2015 | | 19. February 2015 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/> | ||
| Java 5.0 or newer, Tcl/Tk 8.5 | | Java 5.0 or newer, Tcl/Tk 8.5 | ||
|- | |- | ||
| Windows | | Windows | ||
| 19. February 2015 | | 19. February 2015 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | ||
Java 5.0 or newer, [[Windows Installation Instructions]] | Java 5.0 or newer, [[Windows Installation Instructions]] | ||
Line 447: | Line 479: | ||
| OS X | | OS X | ||
| 19. February 2015 | | 19. February 2015 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | ||
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] | | [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] | ||
Java 5.0 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | Java 5.0 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
Line 455: | Line 487: | ||
| Linux | | Linux | ||
| 4. March 2013 | | 4. March 2013 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.linux32.tar.gz Tarball (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.linux64.tar.gz Tarball (64bit)],<br/> | ||
| Java 5.0 or newer, Tcl/Tk 8.5 | | Java 5.0 or newer, Tcl/Tk 8.5 | ||
|- | |- | ||
| Windows | | Windows | ||
| 4. March 2013 | | 4. March 2013 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.windows.zip Zipfile (with probcli)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows], | ||
Java 5.0 or newer, [[Windows Installation Instructions]] | Java 5.0 or newer, [[Windows Installation Instructions]] | ||
Line 466: | Line 498: | ||
| Mac OS X, Snow Leopard, Intel (64-bit) | | Mac OS X, Snow Leopard, Intel (64-bit) | ||
| 4. March 2013 | | 4. March 2013 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli)] | ||
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11] or use at least 8.5.13) | | [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11] or use at least 8.5.13) | ||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
Line 472: | Line 504: | ||
| Mac OS X, Leopard, Intel (32-bit) | | Mac OS X, Leopard, Intel (32-bit) | ||
| 4. March 2013 | | 4. March 2013 | ||
| [ | | [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.mac_os.10.5.8.i386.tar.gz Tarball (with probcli)] | ||
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11]), | | [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11]), | ||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
|} | |} |
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) |
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, |
OS X | 6.10.2021 | Zipfile (notarized Tk 8.5) Zipfile (notarized Tk 8.6) |
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, |
OS X | 21.1.2021 | Zipfile (notarized) |
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, |
OS X | 15.12.2020 | Zipfile (notarized) |
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, |
OS X | 19.2.2020 | Zipfile (notarized) |
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, |
OS X | 11.11.2019 | Tarball |
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, |
OS X | 8.11.2019 | Tarball |
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, |
OS X | 12.7.2019 | Tarball |
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) |
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), |