From cd7f87452f6c711cbca29532cc338426c09555ea Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 25 Jan 2011 21:17:29 +0000 Subject: [PATCH] NOTES. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2408 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/NOTES | 26 ++++++++++++++++---------- 1 file changed, 16 insertions(+), 10 deletions(-) diff --git a/prism/NOTES b/prism/NOTES index 0916801c..60ae14ce 100644 --- a/prism/NOTES +++ b/prism/NOTES @@ -11,32 +11,38 @@ TODO (before public release of 4.0) PRIORITY (first beta, w/ CAV paper) -------- -* Integrate stat-mc +* JAVADOC - - Result object creation pushed into SimEngine? - Result objects returned from SimEngine + explanation strings +* BENCHMARKS! - - Sort initial state in sim dialog? - tick box for default initial - is there a bug in this already? - ready for mult init states? +* Integrate stat-mc (patch done) - - Tidy up other new sim options (simmanual, simvar, simmaxrwd) ? - Decide if want to refine PrismCL switches - e.g. all in simmethod (like aroptions?) PRIORITY (next betas) -------- * Intervals (e.g. for multiple initial states) plotted in graphs +* Stat m/c + - Tidy up other new sim options (simmanual, simvar, simmaxrwd) ? + - MDP warning + - Sort initial state in sim dialog? + tick box for default initial + is there a bug in this already? + ready for mult init states? + - Result object creation pushed into SimEngine? + Result objects returned from SimEngine + explanation strings + * PTA fix: convex, non-diagonal, etc. cases to consider: - implications in invariants - Pmax=? [ F "end" & (x<=5) ] - Then: test with formats09 script + - Then: respond to Nico B (when live) * Doc: Adversary generation (e.g. -exportadv switch) +* Doc: Sim switches -simmanual, -simvar and -simmaxrwd + THE REST (before 4.0) --------