s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
1148 Commits
5 Branches
0 Tags
31 MiB
Tree: b49549d7aa
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'b49549d7aa'
${ noResults }
Commit Graph

52 Commits (b49549d7aa41e7160a0e30746f9606faea2aef51)

Author SHA1 Message Date
Dave Parker b49549d7aa NOTES.
15 years ago
Dave Parker 9cfcef3750 NOTES.
15 years ago
Dave Parker 3138783650 NOTES.
15 years ago
Dave Parker d8b86a689f NOTES.
15 years ago
Dave Parker 145acf1c46 NOTES.
15 years ago
Dave Parker 95b75fbe4e Allow gigabytes in PRISM_JAVAMAXMEM, e.g. "2g".
15 years ago
Dave Parker 7a29d50fac NOTES.
15 years ago
Dave Parker cd7f87452f NOTES.
15 years ago
Dave Parker f658b0ca89 NOTES.
15 years ago
Dave Parker 725efeb9ee NOTES.
15 years ago
Dave Parker 18f86ec901 NOTES.
15 years ago
Dave Parker ed5919811f NOTES.
15 years ago
Dave Parker 842eada5d3 Error message tweak.
15 years ago
Dave Parker ba6340e13b NOTES.
15 years ago
Dave Parker 705088320f NOTES.
15 years ago
Dave Parker 83556362ba Brief notes on the structure of the source directory.
15 years ago
Dave Parker cffc07139d NOTES.
15 years ago
Dave Parker d615f53923 NOTES.
15 years ago
Dave Parker c569538b4c NOTES.
15 years ago
Dave Parker 6f35846639 NOTES.
15 years ago
Dave Parker 0ba3191214 Add restrictions on which reward properties supported by digital clocks, and remove complaint about existence of both state/transition rewards.
15 years ago
Dave Parker c96bd650ac NOTES.
15 years ago
Dave Parker 6e1298bdc8 NOTES.
15 years ago
Dave Parker 2d4907aa1f NOTES.
15 years ago
Dave Parker ac86950334 NOTES.
15 years ago
Dave Parker afc67f2204 Undo last commit.
15 years ago
Dave Parker 29b7905290 Removed unnecessary svn:ignore (these are handles in global svn config).
15 years ago
Dave Parker 16e4860ec3 NOTES.
15 years ago
Dave Parker d435bdbc84 NOTES.
15 years ago
Dave Parker fcf236acd3 Added (self-loop) deterministic loop detection to simulator.
15 years ago
Dave Parker 25b65c4f26 Added -exportprismconst switch.
15 years ago
Dave Parker 0070e79fa0 NOTES.
15 years ago
Dave Parker 801df965c7 Version num.
15 years ago
Dave Parker 873791b389 NOTES.
15 years ago
Dave Parker 45c1f3f367 NOTES.
15 years ago
Dave Parker 714c51cfb8 NOTES.
15 years ago
Dave Parker 6293a36ddf Notes.
15 years ago
Dave Parker 5580c71566 Removed extra accidental bits of last commit.
15 years ago
Dave Parker 45e45cb7a5 Removed des files
15 years ago
Dave Parker 9ba6b11907 NOTES.
15 years ago
Dave Parker 17b4d063d1 Simulator supports labels
16 years ago
Dave Parker cdb30dc3ca NOTES.
16 years ago
Dave Parker 794fc13bf5 Updates to simulator: engine + GUI.
16 years ago
Dave Parker 2747d6ce5a NOTES.
16 years ago
Dave Parker 7ef628f6fa NOTES.
16 years ago
Dave Parker 782dedbd5b Storage of action info for D/CTMCs (code-level access only currently).
16 years ago
Dave Parker 52fc186e96 NOTES.
16 years ago
Dave Parker b454ed3436 NOTES.
16 years ago
Dave Parker f67c6976c2 NOTES files.
16 years ago
Dave Parker d199d035ed Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
17 years ago