From 817dd778bb454967ab65771d9530e4cc4d78f6bc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 12 Jan 2024 08:37:40 +0000 Subject: [PATCH] Small README updates. --- README.md | 16 +++++++--------- prism/lib/README.md | 2 +- 2 files changed, 8 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index 27e27ae711..a37ae1c6a4 100644 --- a/README.md +++ b/README.md @@ -17,7 +17,7 @@ Very abbreviated instructions for installing/running PRISM are as follows: For Windows binary distributions: - * to install, run `prism-XXX-win-installer.exe` + * to install, run `prism-XXX-win64-installer.exe` * to run, use Desktop/Start menu shortcuts or double-click `bin\xprism.bat` For other binary distributions: @@ -28,7 +28,7 @@ For other binary distributions: For source code distributions: * enter the PRISM directory and type `cd prism` then `make` - * to check the install, type `make test` + * to check the install, type `make test` or `etc/tests/run.sh` * to run, execute `bin/xprism` or `bin/prism` If you have problems check the manual, especially the section "Common Problems And Questions". @@ -46,8 +46,11 @@ You can also view the local copy included in this distribution: For other PRISM-related information, see the website: - http://www.prismmodelchecker.org/ + http://www.prismmodelchecker.org/doc +Information for developers is kept here: + + https://github.com/prismmodelchecker/prism/wiki ## Licensing @@ -57,13 +60,8 @@ For more information, see: http://www.gnu.org/licenses/ -PRISM uses the CUDD (Colorado University Decision Diagram) library of Fabio Somenzi, -which is freely available. For more information about this library, see: - - http://vlsi.colorado.edu/~fabio/CUDD/ - PRISM also uses various other libraries (mainly to be found in the lib directory). -For details of those, and for links to source where we distribute only binaries, see: +For details of those, including licenses and links to downloads and source code, see: http://www.prismmodelchecker.org/other-downloads.php diff --git a/prism/lib/README.md b/prism/lib/README.md index e0308d4775..365cb5841c 100644 --- a/prism/lib/README.md +++ b/prism/lib/README.md @@ -9,7 +9,7 @@ To simplify maintenance of scripts and config files, we mostly omit version numb * jhoafparser.jar - jhoafparser, version 1.1.1 * junit-platform-console-standalone.jar - JUnit 5 executable & dependencies, version 1.7.2 * nailgun-server.jar - Nailgun, version 0.9.2-SNAPSHOT -* pepa.zip - EPA-to-PRISM Compiler version 0.03.2 +* pepa.zip - PEPA-to-PRISM Compiler version 0.03.2 See here for more details and links: