DownloadPriorVersions: Difference between revisions

Line 8: Line 8:
[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://www3.hhu.de/stups/downloads/prob/timed-csp/ https://www3.hhu.de/stups/downloads/prob/timed-csp/]
[https://www3.hhu.de/stups/downloads/prob/timed-csp/ https://www3.hhu.de/stups/downloads/prob/timed-csp/]
{|  border="1"  cellpadding="30"
! Platform   
! Release Date   
! Download (64 bit)  
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.9.3-final
|-
| Linux
| 19.2.2020
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/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/download/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
| Windows
| 19.2.2020 
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/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://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
[http://www.graphviz.org/download/ GraphViz], <br/>
[[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
| OS X
| 19.2.2020
| [http://www3.hhu.de/stups/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]
| 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.graphviz.org/download/ Graphviz]
|}





Revision as of 11:19, 16 December 2020

Prior Versions of ProB

Below are details for releases 1.9.1 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.3-final
Linux 19.2.2020 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 19.2.2020 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 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 Runtime Environment or better Java JDK or Adopt JDK,
Graphviz


Platform    Release Date    Download (64 bit)   Dependencies
1.9.2-release
Linux 11.11.2019 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 11.11.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 11.11.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 (64 bit)   Dependencies
1.9.1-release
Linux 8.11.2019 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 8.11.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 8.11.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 (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