[cvs-nhc98]
patch applied (hat): - speed up for " detect.c"
: now worst case O(n) complexity (before O(n*n))
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:10:23 EDT 2006
Fri Nov 9 13:06:46 PST 2001 thorsten
* - speed up for "detect.c": now worst case O(n) complexity (before O(n*n))
- refix lost ability to lift EDT children of trusted equations.
M ./src/hattools/HatDetect.hs -1 +1
M ./src/hattools/HatObserve.hs -2 +6
M ./src/hattools/HatTrace.gc -15 +5
M ./src/hattools/Hatdetect.hs -1 +1
M ./src/hattools/Hatobserve.hs -2 +6
M ./src/hattools/detect.c -11 +21
M ./src/hattools/hashtable.c +12
M ./src/hattools/hatinterface.c +47
M ./src/hattools/hatinterface.h +2
More information about the Cvs-nhc98
mailing list