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.
322 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: bef230088c
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'bef230088c'
${ noResults }
prism-accumulation/prism/src
Dave Parker bef230088c
Main Makefile CC/CPP options passed to CUDD Makefiles. 		18 years ago
..
bin Merged jfreechart port into trunk. 19 years ago
dd Code tidy (function return types). 19 years ago
dv Addition of 64-bit PRISM branch to trunk. 19 years ago
hybrid Bug fix in new R=?[C<=k] code for DTMCs. 19 years ago
jdd Added Java (to String) version of PrintTerminals(AndNumbers) functions. 19 years ago
mtbdd Bug fix in new R=?[C<=k] code for DTMCs. 19 years ago
odd Addition of 64-bit PRISM branch to trunk. 19 years ago
parser Properties files can use model file formulas. Model files can contain labels. 19 years ago
pepa Bugfix in pepa/compiler Makefile. 19 years ago
prism Properties files can use model file formulas. Model files can contain labels. 19 years ago
settings New icon set. 19 years ago
simulator Code tidying for argument types in strict compilers. 19 years ago
sparse Added new "rows" format for matrix export and -exportrows command-line switch. 19 years ago
userinterface Shifted cumulative time/rewards in the path table; and changed some tooltips. 18 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. 19 years ago