s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

NOTES. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2264 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
fff1065289
commit
d615f53923
1 changed files with 1 additions and 2 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 3
      prism/NOTES

3
prism/NOTES
View File

@ -32,6 +32,7 @@ Action labels:
* make action storage optional (when required e.g. for export) (especially for MCs) * make action storage optional (when required e.g. for export) (especially for MCs)
Sim: Sim:
* Result object creation pushed into SimEngine
* tidy doSampling, looking at Vincent's code * tidy doSampling, looking at Vincent's code
* seed issues (Vlad) * seed issues (Vlad)
@ -125,8 +126,6 @@ Abstraction/refinement:
BSCC stuff: BSCC stuff:
* regression testing + perf. on ltl stuff with 3 diff options * regression testing + perf. on ltl stuff with 3 diff options
Code tidy:
* remove colons from @params
DOC (some time) DOC (some time)
--------------- ---------------

Write Preview
Loading…
Cancel
Save