These releases are usually updated every night and old versions are not stored. More current nightly integration builds are also available. (e.g., checking SICStus Prolog Spider warnings, checking coverage and additional manualĪlso, we do not store coverage reports and other information necessary for T2 certification. However, we do not follow the stringent checklist for final releases (which is older than the current final release).Īn official beta release always passes all of ProB's tests. Note that: on macOS 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. If you are using an unsupported architecture or system, you may still be able to run ProB from source. The last version built for x86 (32-bit Intel) is ProB 1.8.0 (see prior versions). MacOS releases of ProB 1.12.0 and later also support aarch64 (64-bit ARM/Apple Silicon). Releases are compiled for the x86_64 architecture (64-bit Intel). The default Tcl/Tk on macOS is broken and will result in black windows, and you have to install another version of Tcl/Tk.Īll releases include the command-line version probcli which does not require Tcl/Tk. The Graphical User Interface of ProB Tcl/Tk requires Tcl/Tk 8.5 or 8.6. The B parser of ProB requires Java 8 or newer. MacOS 10.14 (Mojave) or newer, Tcl/Tk ( see below), Java 8 or newer ( see below), Graphviz ( see below) ![]() Tcl/Tk 8.5 or 8.6 ( see below), Java 8 or newer ( see below), GraphViz, Windows Installation Instructions ![]() Java 8 or newer ( see below), Tcl/Tk 8.5 or 8.6 ( see below), GraphViz In particular, we can provide access to the validation report for using ProB as a tool of class T2 or T3 within the European norm EN50128. For commercial support contact Michael Leuschel. The list of changes can be found in the ProB release history.ĭetails of the ProB Licence can be found here. Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB. Below are links for downloading the latest stable release of probcli (the command line version of ProB) and ProB Tcl/Tk (ProB with a graphical user interface written in Tcl/Tk).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |