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.
1416 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: e0305643a7
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'e0305643a7'
${ noResults }
prism-accumulation/prism/src/simulator
Vojtech Forejt acd646d02c
* PrismLog now has a "printWarning" method that can be used to print warnings. 		15 years ago
..
method Improved documentation (JavaDoc mostly). 15 years ago
networking Replaced calls to system class loader with calls to parent class loader. Calls to system class loader 15 years ago
sampler Some optimisations for approximate model checking on models with deadlocks (could do other operators too). 15 years ago
Choice.java Simulator engine: Documentation of Choice object, remove some unused Choice methods, add some action-querying methods in SimulatorEngine. 15 years ago
ChoiceList.java Check for overflows added to simulator, but disabled for now. 16 years ago
ChoiceListFlexi.java Simulator engine: Documentation of Choice object, remove some unused Choice methods, add some action-querying methods in SimulatorEngine. 15 years ago
ChoiceSingleton.java Check for overflows added to simulator, but disabled for now. 16 years ago
GenerateSimulationPath.java * PrismLog now has a "printWarning" method that can be used to print warnings. 15 years ago
LoopDetector.java Added (self-loop) deterministic loop detection to simulator. 16 years ago
Makefile Addition of new statistical model checking stuff (patch difference between trunk and prism-statmc branch at this revision). 15 years ago
Path.java Code doc. 15 years ago
PathFull.java Bug fixes for loading zero-length paths into simulator. 15 years ago
PathFullInfo.java Extend PathFullInfo method to clarify what info is stored. 15 years ago
PathFullPrefix.java Added (self-loop) deterministic loop detection to simulator. 16 years ago
PathOnTheFly.java Detach simulator Path objects from SimulatorEngine (do not need). 15 years ago
RandomNumberGenerator.java Addition of new statistical model checking stuff (patch difference between trunk and prism-statmc branch at this revision). 15 years ago
SimulatorEngine.java * PrismLog now has a "printWarning" method that can be used to print warnings. 15 years ago
TransitionList.java Simulator engine: Documentation of Choice object, remove some unused Choice methods, add some action-querying methods in SimulatorEngine. 15 years ago
Updater.java Bugfix: simulator should not show zero prob/rate transitions. 15 years ago
package-info.java Improved documentation (JavaDoc mostly). 15 years ago