tatd2 2005/12/31 07:22:55 PST Modified files: man hat-delta.1.in 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.4 +76 -2 hat/man/hat-delta.1.in