[cvs-nhc98] patch applied (hat): Fixed bug: avoid division by zero in progress indicator (for very small trace fiFixed bug: show all equations resulting in _|_ in observational tool.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:11:07 EDT 2006


Thu Nov 22 11:25:19 PST 2001  thorsten
  * Fixed bug: avoid division by zero in progress indicator (for very small trace fiFixed bug: show all equations resulting in _|_ in observational tool.

    M ./src/hattools/HatObserve.hs -2 +3
    M ./src/hattools/HatTrace.gc -2 +8
    M ./src/hattools/HatTrie.hs -3 +5
    M ./src/hattools/Hatobserve.hs -2 +3
    M ./src/hattools/hatinterface.c -1 +1


More information about the Cvs-nhc98 mailing list