Skip to content

Commit

Permalink
Small README updates.
Browse files Browse the repository at this point in the history
  • Loading branch information
davexparker committed Jan 12, 2024
1 parent 29c1927 commit 817dd77
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 10 deletions.
16 changes: 7 additions & 9 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand All @@ -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".
Expand All @@ -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

Expand All @@ -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

Expand Down
2 changes: 1 addition & 1 deletion prism/lib/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:

Expand Down

0 comments on commit 817dd77

Please sign in to comment.