October 2006 - Cvs-nhc98

patch applied (hat): Add Test.QuickCheck to the list of files for the srcDist target.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jan 19 06:06:31 PST 2006 malcolm * Add Test.QuickCheck to the list of files for the srcDist target. M ./Makefile +1

1 0

patch applied (hat): Made hat-delta in quickCheck mode a bit more inteligant
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 18 05:58:23 PST 2006 tatd2 * Made hat-delta in quickCheck mode a bit more inteligant M ./src/hattools/HatDelta.hs -2 +8

1 0

patch applied (hat): Added QuickCheck to the standard libraries installed with Hat. Hat version runs all tests, even if one fails to provide more data for hat-delta. hat-delta updated with -q option to debug a program tested with QuickCheck
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 17 08:25:29 PST 2006 tatd2 * Added QuickCheck to the standard libraries installed with Hat. Hat version runs all tests, even if one fails to provide more data for hat-delta. hat-delta updated with -q option to debug a program tested with QuickCheck M ./configure +11 M ./script/confhat -1 +1 M ./src/hatlib/Makefile -1 +2 A ./src/hatlib/Test/ A ./src/hatlib/Test/QuickCheck.hs M ./src/hatlib/hat.cabal +1 M ./src/hattools/HatDelta.hs -12 +55

1 0

patch applied (hat): oops
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jan 9 17:49:29 PST 2006 tatd2 * oops A ./src/hattools/Slice.hs

1 0

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...
by Malcolm Wallace 10 Oct '06

10 Oct '06

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

1 0

patch applied (hat): Remove profiling options - they cause ghc-5.04 to throw a 400kb
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Dec 16 02:14:39 PST 2005 malcolm * Remove profiling options - they cause ghc-5.04 to throw a 400kb warning message. M ./src/hattools/Makefile -4 +5

1 0

patch applied (hat): A recent addition of
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Dec 8 09:40:51 PST 2005 malcolm * A recent addition of instance Typeable2 (->) to the base libraries caused the extraction of instances from interface files to fail. This is a small fix - don't know whether it is strictly correct, but it allows compilation to proceed. M ./src/compiler98/IExtract.hs -2 +6

1 0

patch applied (hat): Fix more foreign imports to mention the appropriate header file.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Nov 22 05:06:04 PST 2005 malcolm * Fix more foreign imports to mention the appropriate header file. M ./src/hattools/NonTermLib.hs -6 +6 M ./src/hattools/nontermutils.h +5

1 0

patch applied (hat): Fix compilation errors and warnings in hat-nonterm.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Nov 18 02:55:27 PST 2005 malcolm * Fix compilation errors and warnings in hat-nonterm. M ./src/hattools/Makefile -1 +1 M ./src/hattools/NonTermLib.hs -9 +13 M ./src/hattools/nontermutils.c -2 M ./src/hattools/nontermutils.h +3

1 0

patch applied (hat): Another syntax error.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Nov 18 02:55:02 PST 2005 malcolm * Another syntax error. M ./src/hattools/Pretty.hs -1 +1

1 0