andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Notes on the warshall algorithm that is currently taking a third of

Browse Source 
processing time, which is way too much.
This commit is contained in:
ccremers 2006-01-02 21:19:53 +00:00
parent da75862d82
commit 066bc810d8
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/todo.txt
View File

@ -1,3 +1,8 @@
- Warshall is taking a third of the time running.
- Make 'dirty' flag.
- Make a push-graph structure, where old graphs are simply remembered?
Does this help at all?
- Improve the speed of the thing by finally moving to a bit-thing.
- Simple timestamps could be added by prefixing send message before the - Simple timestamps could be added by prefixing send message before the
role, sending any timestamp constants out first to the intruder. These role, sending any timestamp constants out first to the intruder. These
should of course be hidden in the output somehow. should of course be hidden in the output somehow.