s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
392 Commits
5 Branches
0 Tags
31 MiB
Tree: 9c3f256487
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '9c3f256487'
${ noResults }
Commit Graph

392 Commits (9c3f256487d25a1477443d133599bd581431ec0b)
 

Author SHA1 Message Date
Dave Parker 9c3f256487 Pedantic (non-)capitalisations in GUI.
18 years ago
Dave Parker 613463ef8b Bug fix: double click for new sim path sometimes broken.
18 years ago
Dave Parker dc1e266f04 Another fix to stop infinite loops when detecting javac (part 2).
18 years ago
Dave Parker dd810cadd3 Another fix to stop infinite loops when detecting javac.
18 years ago
Dave Parker 81f3b327db Updated icon README.
18 years ago
Dave Parker abcaa2ed63 README.
18 years ago
Dave Parker bfa9ab8bd9 CHANGELOG/VERSIONS.
18 years ago
Dave Parker 768d9cc21f CHANGELOG.txt.
18 years ago
Dave Parker de31da4f69 Makefile fix for building on Mac OS X Leopard.
18 years ago
Mark Kattenbelt b96f9ba1fa Fix: no updates with probability 0 in update list simulator
18 years ago
Mark Kattenbelt 087728f4ab Fixed alignment constant picking dialog for experiments
18 years ago
Dave Parker db60a6af41 Fixed install script for case with spaces in PRISM path.
18 years ago
Dave Parker 7e348b6052 Redefining built-in labels is an error.
18 years ago
Dave Parker e163c45ee3 GUI bug fix: disable double-click for new sim path as appropriate.
18 years ago
Dave Parker e715cf3c8b Updated more email addresses, affiliations, etc.
18 years ago
Dave Parker 2179deefdb Updated email addresses and affiliations in copyright info.
18 years ago
Dave Parker 04bf7f5da6 CHANGELOG.
18 years ago
Dave Parker 0143cef09e Addition of -extrareachinfo option (and rearrangement of options in Modules2MTBDD).
18 years ago
Dave Parker 51ae93d3f3 CHANGELOG.
18 years ago
Dave Parker 1cdb985959 CHANGELOG.
18 years ago
Dave Parker 8b45a02257 Sparse version of MDP instantaneous reward operator (and commented-out code for printing all values - sparse/mtbdd).
18 years ago
Dave Parker baeeec9623 Export of labels includes those in model if none in properties file.
18 years ago
Dave Parker 2066da4ada Fixed web addresses in README files.
18 years ago
Dave Parker 381db210b5 Added peer2peer example.
18 years ago
Dave Parker 8858363fc7 Sparse version of MDP reach reward computation.
18 years ago
Dave Parker 1a366fc0a9 Improvements to PRISM-to-Latex code.
18 years ago
Dave Parker 8a058dc21e Auto creation of bin/classes directories if they do not exist.
18 years ago
Gethin Norman ac7060c92d various fixes to update rewards and match web pages
18 years ago
Gethin Norman 0569ba33b0 updated properties in rabin
18 years ago
Gethin Norman 79d5ff124b updated properties and rewards in phil (no fair)
18 years ago
Gethin Norman 7cc4fec5a1 fixed properties for dice example
18 years ago
Gethin Norman a48e12befe updated reward structures in phil_lss files
18 years ago
Dave Parker df8c99805d Fix for hybrid GS bug introduced during previous "fix" at rev 504.
18 years ago
Dave Parker 6d8475ca99 Missing CUDD derefs.
18 years ago
Dave Parker f94577333d Missing CUDD derefs.
18 years ago
Gethin Norman 02c952a1b5 added reward structures for fms
18 years ago
Gethin Norman 1e820ec41a added reward structure
18 years ago
Gethin Norman 5e2a37e335 updated rewards in polling files
18 years ago
Dave Parker 5941bef78f Instantaenous rewards for DTMCs/MDPs (MTBDD engine only).
18 years ago
Dave Parker 6e28470f7d Unbreak model construction using -m on DTMCs/CTMCs.
18 years ago
Dave Parker bec7222841 Promoted "extraddinfo" flag to full PRISM option and added some extra output during model construction.
18 years ago
Dave Parker 4d38da27da Tweaked some column headings in simulator.
18 years ago
Dave Parker 12db210a16 F8 accelerator key for new simulator path.
18 years ago
Dave Parker c054c3d19f Updates to various GUI components for better behaviour under font size changes.
18 years ago
Dave Parker e32673e850 Better error messages for deadlocks in GUI (not experiments though).
18 years ago
Dave Parker f80af96ef5 GUI view/export of multiple experiments.
18 years ago
Dave Parker b06fc67a27 Better handling of double quotes in PRISM-latex converter.
18 years ago
Dave Parker 467f978da0 Added debug option to launch scripts.
18 years ago
Dave Parker 8300530b0b Fixed bug (occurred e.g. on dining_crypt 15 with -h/-gs/-nopre) to do with empty diagonal blocks on hybrid Gauss-Seidel.
18 years ago
Dave Parker 4401630dcf Moved PEPA-to-PRISM source code from main distribution to separate area.
18 years ago