DownloadPriorVersions: Difference between revisions - ProB Documentation

Help

DownloadPriorVersions: Difference between revisions

← Older edit
No edit summary
No edit summary
 
(13 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 1.11.1 back to 1.3.1.
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 [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/ Download directory].
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 7: Line 7:
https://stups.hhu-hosting.de/downloads/prob/timed-csp/
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)
{| 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.16.0
|-
| Linux
| 4.8.2026
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.16.0/ProB.linux64.tar.gz Tarball]<br/>
| glibc 2.28 or newer (e.g. at least Debian 10, Ubuntu 18.10, RHEL 8, Fedora 29), 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] ([[#Graphviz Requirements|see below]])
|-
| Windows
| 4.8.2026 
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.16.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.16.0/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
| Windows 10 or newer, Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), [https://www.graphviz.org/download/ GraphViz] ([[#Graphviz Requirements|see below]])
|-
| macOS
| 4.8.2026 
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.16.0/ProB.macos.zip Zipfile] (Universal ARM/Intel)<br/>[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| macOS 12 (Monterey) or newer, Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.6 ([[#Tcl/Tk on macOS|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.15.1
|-
| Linux
| 21.12.2025
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.linux64.tar.gz Tarball]<br/>
| glibc 2.17 or newer, 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] ([[#Graphviz Requirements|see below]])
|-
| Windows
| 21.12.2025 
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
| Windows 8 or newer, Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), [https://www.graphviz.org/download/ GraphViz] ([[#Graphviz Requirements|see below]])
|-
| macOS
| 21.12.2025 
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.macos.zip Zipfile] (Universal ARM/Intel)<br/>[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| macOS 10.14 (Mojave) or newer, Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.6 ([[#Tcl/Tk on macOS|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.15.0
|-
| Linux
| 26.6.2025
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.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
| 26.6.2025 
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.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
| 26.6.2025 
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.0/ProB.macos.zip Zipfile] (Universal ARM/Intel notarized)<br/>
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| macOS 10.14 (Mojave) or newer, Tcl/Tk 8.6 ([[#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.13.0
|-
| Linux
| 20.2.2024
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.13.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
| 20.2.2024
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.13.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.13.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
| 20.2.2024
| [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]
| 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]])
|}
A hot-fix release of 1.12.2 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]])
|}
{| 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) -->
{| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->
Line 19: Line 199:
| 29.12.2021  
| 29.12.2021  
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB.linux64.tar.gz Tarball]<br/>
| [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]
| 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
| Windows
| 29.12.2021  
| 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)
| [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]]
| 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
| macOS
Line 30: Line 210:
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized)  <br/>
| [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]
[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]])
| 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 44: Line 224:
| 6.10.2021  
| 6.10.2021  
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB.linux64.tar.gz Tarball]<br/>
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
| Java 8 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| Windows
| Windows
Line 50: Line 230:
| [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://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 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 58: Line 238:
[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 7 or newer, [http://www.graphviz.org/download/ Graphviz]
Java 8 or newer, [http://www.graphviz.org/download/ Graphviz]
|}
|}


Line 72: Line 252:
| 21.1.2021  
| 21.1.2021  
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB.linux64.tar.gz Tarball]<br/>
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
| Java 8 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| Windows
| Windows
Line 78: Line 258:
| [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://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 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 86: Line 266:
[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 7 or newer, [http://www.graphviz.org/download/ Graphviz]
Java 8 or newer, [http://www.graphviz.org/download/ Graphviz]
|}
|}


Line 100: Line 280:
| 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/>
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
| Java 8 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| Windows
| Windows
Line 106: Line 286:
| [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/>
| [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 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 114: Line 294:
[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 7 or newer, [http://www.graphviz.org/download/ Graphviz]
Java 8 or newer, [http://www.graphviz.org/download/ Graphviz]
|}
|}


Latest revision as of 13:50, 27 August 2026

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)


Platform Release Date Download Dependencies
1.16.0
Linux 4.8.2026 Tarball
 glibc 2.28 or newer (e.g. at least Debian 10, Ubuntu 18.10, RHEL 8, Fedora 29), Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz (see below)
Windows 4.8.2026 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5) 		Windows 10 or newer, Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz (see below)
macOS 4.8.2026 Zipfile (Universal ARM/Intel)
Homebrew Tap 		macOS 12 (Monterey) or newer, Java 8 or newer (see below), Tcl/Tk 8.6 (see below), GraphViz (see below)
Platform Release Date Download Dependencies
1.15.1
Linux 21.12.2025 Tarball
 glibc 2.17 or newer, Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz (see below)
Windows 21.12.2025 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5) 		Windows 8 or newer, Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz (see below)
macOS 21.12.2025 Zipfile (Universal ARM/Intel)
Homebrew Tap 		macOS 10.14 (Mojave) or newer, Java 8 or newer (see below), Tcl/Tk 8.6 (see below), GraphViz (see below)
Platform Release Date Download Dependencies
1.15.0
Linux 26.6.2025 Tarball
 Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows 26.6.2025 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 26.6.2025 Zipfile (Universal ARM/Intel notarized)

Homebrew Tap

macOS 10.14 (Mojave) or newer, Tcl/Tk 8.6 (see below), Java 8 or newer (see below), Graphviz (see below)


Platform Release Date Download Dependencies
1.13.0
Linux 20.2.2024 Tarball
 Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows 20.2.2024 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 20.2.2024 Zipfile (Universal ARM/Intel notarized)

Homebrew Tap

macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)


A hot-fix release of 1.12.2 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

Retrieved from "https://prob.hhu.de/w/index.php?title=DownloadPriorVersions&oldid=6261"