From 360d61ae15b42fade0cca84ee7e7679367ec5046 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 23 Sep 2010 20:47:28 +0000
Subject: [PATCH] NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2091 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES-SIM | 26 +++++++++++---------------
 1 file changed, 11 insertions(+), 15 deletions(-)

diff --git a/prism/NOTES-SIM b/prism/NOTES-SIM
index 3dfa9fae..17539828 100644
--- a/prism/NOTES-SIM
+++ b/prism/NOTES-SIM
@@ -2,38 +2,34 @@
 NOW/NEXT
 --------
 
-Updater, esp. local nodet
-
-DTMC with local nondet and actions (~/prism-models/dave-test.nm)
-
-GUI transition box: "true" updates don't display correctly
-
 
 TODO (before any release)
 -------------------------
 
-* local nondet in Updater (and tidy that class)
-* ChoiceListFlexi TODOs
-
 
 TODO (later)
 ------------
 
-* add (back) support for loop detection (embedded into Path*?)
-* add (back) early termination of sampling (thru expt stop?)
+* investigate efficiency wrt old simulator
+
+* add (back) support for full loop detection? (embedded into Path*?)
+* add (back) early manual termination of sampling (thru expt stop?)
 
 * random initial state
 * variable overflow etc.
 * add support for "deadlock" and "init" (new EvaluationContext, model *and* state dependent)
-
-* explicitbuildtest doesn't handle dupes in mdps (e.g. consensus)
 * seed issues (currently twice in one second = same seed)
-* traviendo export?
 
+* explicitbuildtest doesn't handle dupes in mdps (e.g. consensus)
 * explicit build doesn't handle multiple initial states
 
+* GUI sim - add context menu to transition list with e.g. "show in model"
+
+* traviendo export?
+
 CODE:
-* Optimise Choices (ChoiceList/ChoiceSingleton/etc.)
+* Optimise/tidy Choices (ChoiceList/ChoiceSingleton/etc.)
+
 
 BUGS (later)
 ------------