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 -== -