Download - Revision history

Michael Leuschel: /* Sourcecode */

2026-05-04T15:52:44Z

Sourcecode

← Older revision		Revision as of 15:52, 4 May 2026
Line 73:		Line 73:

	You can download the latest Prolog sourcecode snapshot from: https://stups.hhu-hosting.de/downloads/prob/source/		You can download the latest Prolog sourcecode snapshot from: https://stups.hhu-hosting.de/downloads/prob/source/
			This site also contains an archive of the public examples used for testing ProB.

	The source code for the ProB parsers (B, LTL, ...) can be obtained from: https://github.com/hhu-stups/probparsers		The source code for the ProB parsers (B, LTL, ...) can be obtained from: https://github.com/hhu-stups/probparsers

David Geleßus: /* Latest Release */

2026-03-05T17:45:29Z

Latest Release

← Older revision		Revision as of 17:45, 5 March 2026
Line 29:		Line 29:
	\| macOS		\| macOS
	\| 21.12.2025		\| 21.12.2025
	\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.macos.zip Zipfile] (Universal ARM/Intel ~~notarized~~)<br/>		\| [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]
	[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]])		\| 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]])
	\|}		\|}

David Geleßus: /* Latest Release */ Add system requirements for Linux and Windows too

2026-03-05T17:43:31Z

Latest Release: Add system requirements for Linux and Windows too

← Older revision		Revision as of 17:43, 5 March 2026
Line 20:		Line 20:
	\| 21.12.2025		\| 21.12.2025
	\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.linux64.tar.gz Tarball]<br/>		\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.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] ([[#Graphviz Requirements\|see below]])		\| 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		\| Windows
	\| 21.12.2025		\| 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)		\| [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)
	\| 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]])		\| 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		\| macOS

David Geleßus: /* Latest Release */ Make list of dependencies consistent for all OSes

2026-03-05T17:39:42Z

Latest Release: Make list of dependencies consistent for all OSes

← Older revision		Revision as of 17:39, 5 March 2026
Line 20:		Line 20:
	\| 21.12.2025		\| 21.12.2025
	\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.linux64.tar.gz Tarball]<br/>		\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.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]		\| 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		\| Windows
	\| 21.12.2025		\| 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)		\| [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)
	\| 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]		\| 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		\| macOS
Line 31:		Line 31:
	\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.macos.zip Zipfile] (Universal ARM/Intel notarized)<br/>		\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.macos.zip Zipfile] (Universal ARM/Intel 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~~ 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]])		\| 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]])
	\|}		\|}

David Geleßus: /* Latest Release */ Remove link to old Windows-specific instructions

2026-03-05T17:37:14Z

Latest Release: Remove link to old Windows-specific instructions

← Older revision		Revision as of 17:37, 5 March 2026
Line 25:		Line 25:
	\| 21.12.2025		\| 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)		\| [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)
	\| 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]~~]		\| 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]
	\|-		\|-
	\| macOS		\| macOS

David Geleßus: /* ProB2-UI (based on JavaFX) */ Rename section to just "ProB2-UI"

2026-03-05T17:11:49Z

ProB2-UI (based on JavaFX): Rename section to just "ProB2-UI"

← Older revision		Revision as of 17:11, 5 March 2026
Line 100:		Line 100:
	* Nightly builds of ProB for Rodin 3 can be obtained from within Rodin by using the update site https://stups.hhu-hosting.de/rodin/prob1/nightly.		* Nightly builds of ProB for Rodin 3 can be obtained from within Rodin by using the update site https://stups.hhu-hosting.de/rodin/prob1/nightly.

	=== ProB2-UI ~~(based on JavaFX)~~ ===		=== ProB2-UI ===

	The current release of the new JavaFX-based [[ProB2-UI]] is version 1.3.1. Installers are available for the following platforms:		The current release of the new JavaFX-based [[ProB2-UI]] is version 1.3.1. Installers are available for the following platforms:

Michael Leuschel: /* Latest Beta Release */

2026-02-12T11:46:15Z

Latest Beta Release

← Older revision		Revision as of 11:46, 12 February 2026
Line 51:		Line 51:
	=== Latest Beta Release ===		=== Latest Beta Release ===

	The latest beta release is [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.16.1-beta1 1.16.1-beta1].		The latest beta release is [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.16.0-beta1 1.16.0-beta1].
	It may be older than the latest final release.		It may be older than the latest final release.
	An official beta release always passes all of ProB's tests.		An official beta release always passes all of ProB's tests.

Michael Leuschel at 11:45, 12 February 2026

2026-02-12T11:45:22Z

← Older revision		Revision as of 11:45, 12 February 2026
Line 48:		Line 48:
	Note that: on <b>macOS</b> you still have to right-click on the application and use "Open", even though ProB Tcl/Tk (and probcli and all libraries) are signed and notarized.		Note that: on <b>macOS</b> you still have to right-click on the application and use "Open", even though ProB Tcl/Tk (and probcli and all libraries) are signed and notarized.

	<!-- Commented out while there is no current beta release:		<!-- Commented out while there is no current beta release: -->
	=== Latest Beta Release ===		=== Latest Beta Release ===

	The latest beta release is [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.13.1-beta1 1.13.1-beta1].		The latest beta release is [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.16.1-beta1 1.16.1-beta1].
	It may be older than the latest final release.		It may be older than the latest final release.
	An official beta release always passes all of ProB's tests.		An official beta release always passes all of ProB's tests.
Line 58:		Line 58:
	UI tests).		UI tests).
	Also, we do not store coverage reports and other information necessary for T2 certification.		Also, we do not store coverage reports and other information necessary for T2 certification.
	~~-->~~
	=== Nightly Builds ===		=== Nightly Builds ===

Line 66:		Line 66:
	Note for macOS users: Nightly builds of ProB are not signed or notarized, so macOS 10.15 and later (Catalina, Big Sur or Monterey, Ventura) will refuse to run them.		Note for macOS users: Nightly builds of ProB are not signed or notarized, so macOS 10.15 and later (Catalina, Big Sur or Monterey, Ventura) will refuse to run them.
	As a workaround, you will need to run <code>xattr -r -d com.apple.quarantine *</code> inside the ProB directory before launching ProB.		As a workaround, you will need to run <code>xattr -r -d com.apple.quarantine *</code> inside the ProB directory before launching ProB.
	The stable and beta releases listed above are signed and notarized, so they will run without extra steps.		The stable (and some beta releases) listed above are signed and notarized, so they will run without extra steps.

	Automatically generated test [https://stups.hhu-hosting.de/internal/coverage/html/ coverage reports are also available].		Automatically generated test [https://stups.hhu-hosting.de/internal/coverage/html/ coverage reports are also available].

Michael Leuschel: /* Tcl/Tk from Homebrew or MacPorts */

2026-02-09T16:13:08Z

Tcl/Tk from Homebrew or MacPorts

← Older revision		Revision as of 16:13, 9 February 2026
Line 201:		Line 201:
	==== Tcl/Tk from Homebrew or MacPorts ====		==== Tcl/Tk from Homebrew or MacPorts ====

	You can install a newer Tcl/Tk (e.g., 8.6.13) using [https://brew.sh <b>Homebrew</b>] or [https://www.macports.org <b>MacPorts</b>].		You can install a newer Tcl/Tk (e.g., 8.6.17) using [https://brew.sh <b>Homebrew</b>] or [https://www.macports.org <b>MacPorts</b>].
	Note: In the earlier release 8.6.11 [https://bugs.python.org/issue44828 file open and file save dialogs will not work].		Note: In the earlier release 8.6.11 [https://bugs.python.org/issue44828 file open and file save dialogs will not work].
	For Homebrew the command to install the[https://formulae.brew.sh/formula/tcl-tk tcl-tk formula] is:		For Homebrew the command to install the[https://formulae.brew.sh/formula/tcl-tk tcl-tk formula] is:
Line 217:		Line 217:
	You can also define and export this variable yourself before starting ProB from the Terminal by typing this (you may have to adapt the link if you are using another version of Tcl/Tk):		You can also define and export this variable yourself before starting ProB from the Terminal by typing this (you may have to adapt the link if you are using another version of Tcl/Tk):
	<pre>		<pre>
	export SP_TCL_DSO=/opt/homebrew/Cellar/tcl-tk@8/8.6.16/lib/libtcl8.6.dylib		export SP_TCL_DSO=/opt/homebrew/Cellar/tcl-tk@8/8.6.17/lib/libtcl8.6.dylib
	</pre>		</pre>
	If you have uses MacPorts the path is probably <tt>/opt/local/lib/libtcl.dylib</tt>.		If you have uses MacPorts the path is probably <tt>/opt/local/lib/libtcl.dylib</tt>.

Michael Leuschel: /* ProB2-UI (based on JavaFX) */

2026-02-09T12:55:52Z

ProB2-UI (based on JavaFX)

← Older revision		Revision as of 12:55, 9 February 2026
Line 105:		Line 105:

	* [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/ProB2-UI-1.3.1.exe Windows (x86_64) installer] - requires Windows 10 or later		* [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/ProB2-UI-1.3.1.exe Windows (x86_64) installer] - requires Windows 10 or later
	* [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/ProB2-UI-aarch64-1.3.1-notarized.zip macOS (Apple Silicon) application ZIP] (notarized) [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/ProB2-UI-aarch64-1.3.1.dmg macOS (Apple Silicon) application DMG] (not signed/notarized! [[#macOS issues\|see below]]) - requires macOS 11 (Big Sur) or later		* [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/ProB2-UI-aarch64-1.3.1-notarized.zip macOS (Apple Silicon) application ZIP] (notarized) <!-- [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/ProB2-UI-aarch64-1.3.1.dmg macOS (Apple Silicon) application DMG] (not signed/notarized! [[#macOS issues\|see below]])--> - requires macOS 11 (Big Sur) or later
	* [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/ProB2-UI-x86_64-1.3.1.dmg macOS (Intel) application DMG] (not signed/notarized yet! [[#macOS issues\|see below]]) - requires macOS 11 (Big Sur) or later		* [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/ProB2-UI-x86_64-1.3.1.dmg macOS (Intel) application DMG] (not signed/notarized yet! [[#macOS issues\|see below]]) - requires macOS 11 (Big Sur) or later
	* [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/prob2-ui_1.3.1_amd64.deb Linux (x86_64) .deb package] - requires glibc 2.17 or later (e. g. Debian 8 "jessie" or later, or Ubuntu 14.04 "trusty" or later)		* [https://stups.hhu-hosting.de/downloads/prob2/1.3.1/prob2-ui_1.3.1_amd64.deb Linux (x86_64) .deb package] - requires glibc 2.17 or later (e. g. Debian 8 "jessie" or later, or Ubuntu 14.04 "trusty" or later)