Pinned Repositories
cudd
Modified version of CUDD used in PRISM
ppl
Modified version of PPL (Parma Polyhedra Library) used in PRISM.
prism
The main development version of the PRISM model checker.
prism-api
Example code for connecting to PRISM programmatically.
prism-benchmarks
The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
prism-ext
Publicly released extensions and snapshots of PRISM. The master branch mirrors the main repo; each extension/snapshot is in a separate branch/release.
prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
prism-svn
Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.
prism-tests
Old version of the PRISM regression test suite; now merged into the main PRISM repo.
PRISM Model Checker's Repositories
prismmodelchecker/prism
The main development version of the PRISM model checker.
prismmodelchecker/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
prismmodelchecker/prism-svn
Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.
prismmodelchecker/prism-benchmarks
The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
prismmodelchecker/prism-api
Example code for connecting to PRISM programmatically.
prismmodelchecker/prism-tests
Old version of the PRISM regression test suite; now merged into the main PRISM repo.
prismmodelchecker/prism-ext
Publicly released extensions and snapshots of PRISM. The master branch mirrors the main repo; each extension/snapshot is in a separate branch/release.
prismmodelchecker/cudd
Modified version of CUDD used in PRISM
prismmodelchecker/ppl
Modified version of PPL (Parma Polyhedra Library) used in PRISM.