From 2eef3d920f2c55e97ca89888e8049772904eaa5b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 29 Mar 2006 07:43:17 +0000 Subject: [PATCH] NOTES shouldn't be in the main release. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@42 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/NOTES | 65 ----------------------------------------------------- 1 file changed, 65 deletions(-) delete mode 100644 prism/NOTES diff --git a/prism/NOTES b/prism/NOTES deleted file mode 100644 index 719b4345..00000000 --- a/prism/NOTES +++ /dev/null @@ -1,65 +0,0 @@ -SIM -=== - -options entry for displayloop- need each time start new path etc - - -getChosenIndexOfOldUpdate? - - -sim/mc threads - all properties in propertiesfile passed in? - -changelog : list of new additions from andrew? (emails? his directory?) - -deadlock warning - - -bug - file these details somewhere - fixed tablemodel for each set of series properties - when does this change upon click in SeriesList? - public void valueChanged(ListSelectionEvent e) in GraphOptionsPanel line 531 - SingleLineEditor focusLost - check prism-dev11? - - -status of path formula (tick/cross in gui) doesn't reflect loops - - -max paths reached (SimEng.java) - -timings - make platform independent (but not tied to cudd libs) -check timings for os x platform in general? - -warnings displayed for sim with mdps? - -model errors in sim e.g. out of range -add check() method called before build AND sim? - -when does sim actually throw an error? why not for U<=-9? - -diff dev9,11 parser/ExpressionFunc.java - (modulo 0 bug fixes?) handled in sim? - -grep TODO/TO-DO - -grep 2.1.dev9.simapmc - -new dialog boxes - tidy up (GUIPlugin etc.) - - - - -GUI -=== - - - - -== -userinterface/model/graphicModel/ModuleDrawingPane.java -prism/Prism.java - -evaluate context? prism.Prism - -deleting a window doesn't remove it's editor window -== -