DownloadPriorVersions: Difference between revisions

Revision as of 11:29, 8 November 2019

Prior Versions of ProB

Below are details for releases 1.9.0 back to 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://www3.hhu.de/stups/downloads/prob/timed-csp/

Platform	Release Date	Download (64 bit)	Dependencies
1.9.0-release
Linux	12.7.2019	Tarball	Java Runtime Environment (7.0 or newer) or Adopt JDK, Tcl/Tk 8.5, GraphViz

Windows	12.7.2019	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java Runtime Environment (7.0 or newer) or Adopt JDK, 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 Runtime Environment or better Java JDK or Adopt JDK, 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK or openJDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X
1.5.0-final
Linux	19. February 2015	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java Runtime Environment (7.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 Runtime Environment (7.0 or newer), Windows Installation Instructions
OS X	19. February 2015	Tarball (with probcli) (64bit) Homebrew Tap	Tcl/TK 8.5 Java Runtime Environment or better Java JDK (7.0 or newer) Graphviz for Mac OS X
1.3.6-final
Linux	4. March 2013	Tarball (32bit), Tarball (64bit),	Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
Windows	4. March 2013	Zipfile (with probcli)	Tcl/Tk 8.5 for Windows, Java Runtime Environment (5.0 or newer), Windows Installation Instructions
Mac OS X, Snow Leopard, Intel (64-bit)	4. March 2013	Tarball (with probcli)	Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13) Graphviz for Mac OS X
Mac OS X, Leopard, Intel (32-bit)	4. March 2013	Tarball (with probcli)	Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11), Graphviz for Mac OS X

@@ Line 2: / Line 2: @@
-Below are details for releases 1.8.0 back to 1.3.1.
+Below are details for releases 1.9.0 back to 1.3.1.
 If you are interested in earlier releases, please have a look at the [http://nightly.cobra.cs.uni-duesseldorf.de/releases/ Download directory].
@@ Line 9: / Line 9: @@
 [https://www3.hhu.de/stups/downloads/prob/timed-csp/ https://www3.hhu.de/stups/downloads/prob/timed-csp/]
+{|  border="1"  cellpadding="30"
+! Platform &nbsp;&nbsp;
+! Release Date &nbsp;&nbsp;
+! Download (64 bit)&nbsp;&nbsp;
+! Dependencies
+|-
+| colspan="4" style="background-color:lightgrey;" | 1.9.0-release
+|-
+| Linux
+| 12.7.2019
+| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.linux64.tar.gz Tarball]<br/>
+| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
+Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
+|-
+| colspan="4" style="background-color:lightgrey;" style="height:20px; |
+|-
+| Windows
+| 12.7.2019
+| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/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://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
+[http://www.graphviz.org/Download_windows.php GraphViz], <br/>
+[[Windows Installation Instructions]]
+|-
+| colspan="4" style="background-color:lightgrey;" style="height:20px; |
+|-
+| OS X
+| 12.7.2019
+|  [http://www3.hhu.de/stups/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]
+| 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]),
+[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or  [https://adoptopenjdk.net Adopt JDK], <br/>
+[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
+|}
 {|  border="1"