NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2157 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 7381c5bd3c
1 changed files with 2 additions and 0 deletions
--- a/prism/NOTES-PTAS
+++ b/prism/NOTES-PTAS
@ -4,6 +4,8 @@ TODO (before any release)

 * GUI

+* Tidy prism-examples/pta, incl. delete brp
+
 * Clarify semantic/type checks (consistency with games/digital)

 * Check guards/invariants for convexity (for now, neither can be non-convex, see below)