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.
789 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: 7a69437cf2
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '7a69437cf2'
${ noResults }
prism-accumulation/prism/src
Dave Parker 7a69437cf2
Command-line prism understands --help switch, as well as -help. 		16 years ago
..
abstraction Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk. 17 years ago
bin New OS X launch script: icon + typo. 17 years ago
dd Cody tidy to remove some (C++) compiler errors. 16 years ago
dv Utility methods in double vectors. 16 years ago
explicit Bugfix: equals() in Distribution (explicit). 16 years ago
hybrid Cody tidy to remove some (C++) compiler errors. 16 years ago
jdd Code tidy. 16 years ago
jltl2ba Carlos' latest updates to LTL code. 18 years ago
jltl2dstar Carlos' latest updates to LTL code. 18 years ago
mtbdd Import initial distributiion option for DTMCs too. 16 years ago
odd Cody tidy to remove some (C++) compiler errors. 16 years ago
parser Formulas used in properties are left unexpanded for legibility. 16 years ago
pepa/compiler Moved PEPA-to-PRISM source code from main distribution to separate area. 18 years ago
prism Command-line prism understands --help switch, as well as -help. 16 years ago
pta Changes to DTMC/MDP/STPG interface. 17 years ago
scripts Another fix to stop infinite loops when detecting javac. 18 years ago
settings Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk. 17 years ago
simulator Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk. 17 years ago
sparse Slight tweak to output of MDP dot files (consistency with explicit lib). 16 years ago
userinterface Added (commented out) experimental code to make graph axes display only odd numbers. 16 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
nsis_script.nsi Moved nsis_script.nsi into src. 17 years ago