NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1881 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · a49791ebfb
1 changed files with 3 additions and 0 deletions
--- a/prism/NOTES-SIM
+++ b/prism/NOTES-SIM
@ -1,6 +1,9 @@

 NOW/NEXT:

+sort Paths:
+Make PathOTF work with approx mc
+Tidy up + finish PathFull


 looping