From 6e1298bdc8bff7f34f25caaf48ea5c0dc904aff6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 14 Nov 2010 23:00:07 +0000 Subject: [PATCH] NOTES. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2243 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/NOTES | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/prism/NOTES b/prism/NOTES index 43a65ad5..d998024a 100644 --- a/prism/NOTES +++ b/prism/NOTES @@ -13,6 +13,7 @@ PTAs: DOC! timelock reported as deadlock for digital +verbose has new behaviour now?! (wrt filters) ======================================================= @@ -20,13 +21,8 @@ TODO (before public release) ---------------------------- Filters, property semantics, etc. -* Integer-valued props displayed as doubles - need to give types to StateValues? - - lots of other places too e.g. GUI results) -* Intervals for multiple initial states - - Need classes for Result - - Graph plotting? -* Restructure Result class? e.g. separate bracketed comment? (done I think) - - Errors (Exceptions) formatted properly? +* Integer-valued props displayed as doubles when printed as vector +* Intervals (e.g. for multiple initial states) plotted in graphs Action labels: * Check status of export/import trans wrt actions (alll models)