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.
394 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: 484d803121
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '484d803121'
${ noResults }
prism-accumulation/prism/src
Dave Parker 484d803121
New version numbers. 		19 years ago
..
bin Added debug option to launch scripts. 19 years ago
dd Updated email addresses and affiliations in copyright info. 19 years ago
dv Updated email addresses and affiliations in copyright info. 19 years ago
hybrid Updated email addresses and affiliations in copyright info. 19 years ago
jdd Updated email addresses and affiliations in copyright info. 19 years ago
mtbdd Updated email addresses and affiliations in copyright info. 19 years ago
odd Updated email addresses and affiliations in copyright info. 19 years ago
parser Redefining built-in labels is an error. 19 years ago
pepa/compiler Moved PEPA-to-PRISM source code from main distribution to separate area. 19 years ago
prism New version numbers. 19 years ago
scripts Another fix to stop infinite loops when detecting javac. 19 years ago
settings Updated email addresses and affiliations in copyright info. 19 years ago
simulator Fix: no updates with probability 0 in update list simulator 19 years ago
sparse Updated email addresses and affiliations in copyright info. 19 years ago
userinterface Tidy. 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