[cvs-nhc98] cvs commit: hat/src/hattools CommonUI.hs Detect.hs EDT.hs HatDelta.hs HatDetect.hs Makefile NodeExp.hs Pretty.hs

[Thomas Davie]

tatd2       2005/12/31 07:22:56 PST

  Modified files:
    src/hattools         CommonUI.hs Detect.hs EDT.hs HatDelta.hs 
                         HatDetect.hs Makefile NodeExp.hs 
                         Pretty.hs 
  Log:
  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
  
  Revision  Changes    Path
  1.11      +1 -1      hat/src/hattools/CommonUI.hs
  1.12      +83 -22    hat/src/hattools/Detect.hs
  1.8       +39 -8     hat/src/hattools/EDT.hs
  1.12      +398 -104  hat/src/hattools/HatDelta.hs
  1.42      +11 -138   hat/src/hattools/HatDetect.hs
  1.84      +5 -5      hat/src/hattools/Makefile
  1.6       +32 -10    hat/src/hattools/NodeExp.hs
  1.9       +37 -20    hat/src/hattools/Pretty.hs