NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2582 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 9cfcef3750
1 changed files with 1 additions and 0 deletions
--- a/prism/NOTES
+++ b/prism/NOTES
@ -32,6 +32,7 @@ PRIORITY (next betas)
  - Result object creation pushed into SimEngine?
    Result objects returned from SimEngine + explanation strings
  
+* PTA fix: digital clocks just non-diagonal again for now
 * PTA fix: convex, non-diagonal, etc.
  (see DigitalClocks.java.patch)
  cases to consider: