NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1755 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · 2747d6ce5a
1 changed files with 2 additions and 0 deletions
--- a/prism/NOTES
+++ b/prism/NOTES
@ -60,6 +60,8 @@ TODO:
 - make action storage optional (when required e.g. for export) (especially for MCs)
 - lp stuff - plugin support for eclipse/lpsolve (in prism-multi?)
 - also look up lrs?
+- finalise tra format with actions (needs to work with actions too)
+  - so also fix e.g. importtrans, prism-statra

 -----------------------------------------------------------------------