From c96bd650ac6a0fb2346bb07331b4300f82392465 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 15 Nov 2010 11:21:19 +0000
Subject: [PATCH] NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2246 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/NOTES b/prism/NOTES
index d998024a..0cc18a9c 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -35,6 +35,8 @@ Sim:
 * seed issues (Vlad)
 
 PTAs:
+* Clarify rewards support (digital clocks)
+* Less verbose A-R output?
 * More of PCTL - even just G, bounded (not =?), etc.
 * Enforce well-formedness checks (i.e. guards/resets imply target invariants)
   (as opposed to say supporting strong invariants,