- Added a good idea.

This commit is contained in:
ccremers 2006-01-06 12:11:32 +00:00
parent 4ad0cf714b
commit d9b0f412e4

View File

@ -1,4 +1,5 @@
- Is the Goal structure really needed? - Add '--untyped' check for typeflaw detection (instead of the fairly
vague '--match'.
- Warshall is taking a third of the time running. - Warshall is taking a third of the time running.
- Make 'dirty' flag. - Make 'dirty' flag.
- Make a push-graph structure, where old graphs are simply remembered? - Make a push-graph structure, where old graphs are simply remembered?