[cvs-nhc98] patch applied (hat): Sorry for the monolith... That' s what happens over a holiday somewhere as dull as St. Andrews. I guess this is a good reason to use darcs rather than CVS...

[Malcolm Wallace]

Sat Dec 31 07:22:55 PST 2005  tatd2
  * Sorry for the monolith... That's what happens over a holiday somewhere as dull as St. Andrews.  I guess this is a good reason to use darcs rather than CVS...
  
  Anyway, here's a big change log...
  
  EDTs
  ----
  * Bugfix  - No longer duplicates some constants.
  * Bugfix  - Made application trusting work for all apps and constants.
  
  Pretty-hat
  ----------
  * Bugfix  - No longer displays hyphens when SrcRefs are not required.
  * Bugfix  - No longer shows multiple connections below points of confluence in
              the EDT.
  * Bugfix  - Removed data from EDT.
  * Bugfix  - Removed constant `otherwise' from EDT.
  * Bugfix  - Stopped multi-line output from pretty printer breaking graph's
              display.
  
  Hat-detect
  ----------
  * Bugfix  - Hat-detect is now simply a speciallised call to hat-delta.  Need
              to find a way to stop the xterm closing as soon as hat-delta exits.
  
  Hat-delta
  ---------
  * Feature - Allowed user to specify the slicing depth, and lookahead cutoff
              depth at the command line and internal options.
  * Feature - Allowed user to select whole function slicing (rather than specific
              sub-parts) from the command line and internal options.
  * Feature - Added compression of EDT based on collapsing chains of nodes where
              the same slice is involved.
  * Feature - Allowed user to turn EDT collapsing on/off at the command line.
  * Feature - Allowed user to vary the heuristic from the command line and
              internal options by entering a representation of the heuristic
              function as a data structure.
  * Feature - Allowed the use of `:q' to exit from the tools.
  * Feature - Made questions about locally defined functions display their
              context.
  * Feature - Allowed conditionals in heuristic functions.
  * Bugfix  - Stopped crash when no slice information could be found about the
              resulting buggy application.
  * Bugfix  - Made multi-line questions display correctly lined up.
  * Bugfix  - Made slicing include all values in the final slice.
  * Bugfix  - Evaluation of hidden constants produced no output, made them
              display unevaluated.
  * Bugfix  - Stopped the location 0:0-0:0 appearing in slices and breaking
              their display.
  * Help    - Updated help, usage and man-page to reflect changes

    M ./man/hat-delta.1.in -2 +76
    M ./src/hattools/CommonUI.hs -1 +1
    M ./src/hattools/Detect.hs -22 +83
    M ./src/hattools/EDT.hs -8 +39
    M ./src/hattools/HatDelta.hs -100 +394
    M ./src/hattools/HatDetect.hs -138 +11
    M ./src/hattools/Makefile -5 +5
    M ./src/hattools/NodeExp.hs -10 +32
    M ./src/hattools/Pretty.hs -20 +37