December 2005 - Cvs-nhc98

cvs commit: hat/src/hattools CommonUI.hs Detect.hs EDT.hs HatDelta.hs HatDetect.hs Makefile NodeExp.hs Pretty.hs
by Thomas Davie 09 Jan '06

09 Jan '06

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

2 1

cvs commit: hat/man hat-delta.1.in
by Thomas Davie 31 Dec '05

31 Dec '05

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

1 0

cvs commit: nhc98 fixCVS
by Malcolm Wallace 20 Dec '05

20 Dec '05

malcolm 2005/12/20 06:26:11 PST Modified files: . fixCVS Log: Update the 'fixCVS' script to patch a working nhc98 repository without requiring a new checkout. Deals with the change of src/cpphs from CVS to darcs. The old working copy of the cpphs directory is retained as cpphs-cvs, in case there were any un-committed changes that now should be transferred to darcs. Revision Changes Path 1.4 +28 -0 nhc98/fixCVS

1 0

cvs commit: cpphs Makefile.nhc98
by Malcolm Wallace 20 Dec '05

20 Dec '05

malcolm 2005/12/20 06:13:53 PST Modified files: . Makefile.nhc98 Log: Update version number. Tidy up 'make clean' targets. Revision Changes Path 1.12 +6 -4 cpphs/Makefile.nhc98

1 0

cvs commit: cpphs CHANGELOG
by Malcolm Wallace 20 Dec '05

20 Dec '05

malcolm 2005/12/20 06:13:28 PST Modified files: . CHANGELOG Log: Note another bugfix. Revision Changes Path 1.23 +1 -0 cpphs/CHANGELOG

1 0

cvs commit: hat/src/hattools Makefile
by Malcolm Wallace 16 Dec '05

16 Dec '05

malcolm 2005/12/16 02:14:39 PST Modified files: src/hattools Makefile Log: Remove profiling options - they cause ghc-5.04 to throw a 400kb warning message. Revision Changes Path 1.83 +5 -4 hat/src/hattools/Makefile

1 0

cvs commit: cpphs/docs index.html
by Malcolm Wallace 15 Dec '05

15 Dec '05

malcolm 2005/12/15 09:39:32 PST Modified files: docs index.html Log: Add pointer to darcs repository. Revision Changes Path 1.33 +10 -1 cpphs/docs/index.html

1 0

cvs commit: cpphs CpphsTest.hs
by Malcolm Wallace 14 Dec '05

14 Dec '05

malcolm 2005/12/14 13:28:53 PST Modified files: . CpphsTest.hs Log: Place comment about non-maintained nature of this file. Revision Changes Path 1.3 +1 -1 cpphs/CpphsTest.hs

1 0

cvs commit: cpphs Makefile
by Malcolm Wallace 14 Dec '05

14 Dec '05

malcolm 2005/12/14 13:25:14 PST Added files: . Makefile Log: Add a Makefile, mainly for building srcDist packages.

1 0

cvs commit: nhc98/src/compiler98 IExtract.hs
by Malcolm Wallace 08 Dec '05

08 Dec '05

malcolm 2005/12/08 09:40:51 PST Modified files: src/compiler98 IExtract.hs Log: 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. Revision Changes Path 1.21 +6 -2 nhc98/src/compiler98/IExtract.hs

1 0