[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