DownloadPriorVersions - Revision history

Michael Leuschel at 06:08, 22 December 2025

2025-12-22T06:08:37Z

← Older revision		Revision as of 06:08, 22 December 2025
Line 8:		Line 8:

	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)		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.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) -->		{\| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->

Michael Leuschel at 11:33, 27 June 2025

2025-06-27T11:33:27Z

← Older revision		Revision as of 11:33, 27 June 2025
Line 35:		Line 35:


	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/].		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) -->		{\| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->

Michael Leuschel at 11:33, 27 June 2025

2025-06-27T11:33:05Z

← Older revision		Revision as of 11:33, 27 June 2025
Line 8:		Line 8:

	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)		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.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]])
			\|}

Michael Leuschel at 10:31, 1 July 2024

2024-07-01T10:31:29Z

← Older revision		Revision as of 10:31, 1 July 2024
Line 6:		Line 6:
	[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/		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)

Michael Leuschel at 14:33, 22 February 2024

2024-02-22T14:33:11Z

← Older revision		Revision as of 14:33, 22 February 2024
Line 8:		Line 8:


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

	{\| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->		{\| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->

Michael Leuschel at 14:32, 22 February 2024

2024-02-22T14:32:05Z

← Older revision		Revision as of 14:32, 22 February 2024
Line 6:		Line 6:
	[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/		https://stups.hhu-hosting.de/downloads/prob/timed-csp/



			{\| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->
			! Platform
			! Release Date
			! Download
			! Dependencies
			\|-
			\| colspan="4" style="background-color:lightgrey;" \| 1.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]])
			\|}

David Geleßus at 10:30, 11 August 2023

2023-08-11T10:30:38Z

← Older revision		Revision as of 10:30, 11 August 2023
Line 28:		Line 28:
	\| macOS		\| macOS
	\| 30.4.2023		\| 30.4.2023
	\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.macos.zip Zipfile] (Universal ~~Arm~~/Intel notarized) <br/>		\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.macos.zip Zipfile] (Universal ARM/Intel notarized)<br/>
	[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] (not yet updated)		[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]])		\| 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 53:		Line 53:
	\| macOS		\| macOS
	\| 4.4.2023		\| 4.4.2023
	\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.aarch64.notarized.zip Zipfile] (~~Arm~~ notarized) <br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.x86_64.notarized.zip Zipfile] (Intel notarized) <br/>		\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.aarch64.notarized.zip Zipfile] (ARM notarized)<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.x86_64.notarized.zip Zipfile] (Intel notarized)<br/>
	[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] (not yet updated)		[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]])		\| 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]])

David Geleßus: Remove old info about problem with Oracle Java 17 that was fixed in SICStus 4.7.1

2023-08-11T10:27:10Z

Remove old info about problem with Oracle Java 17 that was fixed in SICStus 4.7.1

← Older revision		Revision as of 10:27, 11 August 2023
Line 24:		Line 24:
	\| 30.4.2023		\| 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)		\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
	\| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows\|see below]]), Java 8 or newer ([[#Java Requirements for B parser\| ~~for Oracle's Java 17 read instructions~~ below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]		\| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows\|see below]]), Java 8 or newer ([[#Java Requirements for B parser\|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
	\|-		\|-
	\| macOS		\| macOS
Line 49:		Line 49:
	\| 4.4.2023		\| 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)		\| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
	\| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows\|see below]]), Java 8 or newer ([[#Java Requirements for B parser\| ~~for Oracle's Java 17 read instructions~~ below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]		\| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows\|see below]]), Java 8 or newer ([[#Java Requirements for B parser\|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
	\|-		\|-
	\| macOS		\| macOS
Line 74:		Line 74:
	\| 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 8 or newer ([[#Java Requirements for B parser\| ~~for Oracle's Java 17 read instructions~~ below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]		\| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows\|see below]]), Java 8 or newer ([[#Java Requirements for B parser\|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
	\|-		\|-
	\| macOS		\| macOS

Michael Leuschel at 16:41, 10 August 2023

2023-08-10T16:41:05Z

← Older revision		Revision as of 16:41, 10 August 2023
Line 7:		Line 7:
	https://stups.hhu-hosting.de/downloads/prob/timed-csp/		https://stups.hhu-hosting.de/downloads/prob/timed-csp/


			{\| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->
			! Platform
			! Release Date
			! Download
			! Dependencies
			\|-
			\| colspan="4" style="background-color:lightgrey;" \| 1.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\| for Oracle's Java 17 read instructions 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) -->		{\| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->

David Geleßus at 08:25, 4 May 2023

2023-05-04T08:25:46Z

← Older revision		Revision as of 08:25, 4 May 2023
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].