s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
372 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: 8b45a02257
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '8b45a02257'
${ noResults }
prism-accumulation/prism/src
Dave Parker 8b45a02257
Sparse version of MDP instantaneous reward operator (and commented-out code for printing all values - sparse/mtbdd). 		19 years ago
..
bin Added debug option to launch scripts. 19 years ago
dd More type fixes for fussy compilers: pow(2,...) to pow(2.0,...). 19 years ago
dv Code tidy: some return types and int/double cast issues. 19 years ago
hybrid Fix for hybrid GS bug introduced during previous "fix" at rev 504. 19 years ago
jdd Added Java (to String) version of PrintTerminals(AndNumbers) functions. 19 years ago
mtbdd Sparse version of MDP instantaneous reward operator (and commented-out code for printing all values - sparse/mtbdd). 19 years ago
odd Addition of 64-bit PRISM branch to trunk. 19 years ago
parser Improvements to PRISM-to-Latex code. 19 years ago
pepa/compiler Moved PEPA-to-PRISM source code from main distribution to separate area. 19 years ago
prism Sparse version of MDP instantaneous reward operator (and commented-out code for printing all values - sparse/mtbdd). 19 years ago
settings Updates to various GUI components for better behaviour under font size changes. 19 years ago
simulator More fixes for fussy compilers: return types in simulator cc code. 19 years ago
sparse Sparse version of MDP instantaneous reward operator (and commented-out code for printing all values - sparse/mtbdd). 19 years ago
userinterface Tweaked some column headings in simulator. 19 years ago
manifest.txt Edited makefile to create Jar files which can be double-clicked. Also added a manifest.txt in the src directory which is required to realise this behaviour. 20 years ago