March 2002 - Cvs-nhc98

A tool which gives (approximate) application counts for al
by malcolm＠sparud.net 07 Mar '02

07 Mar '02

malcolm: Thu Mar 7 12:55:52 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv20579 Added Files: hat-names.c Log Message: A tool which gives (approximate) application counts for all identifiers in the .hat file.

1 0

Rename hat-trail to hat-trail-in-java.
by malcolm＠sparud.net 07 Mar '02

07 Mar '02

malcolm: Thu Mar 7 12:54:19 CET 2002 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv20555 Modified Files: configure Makefile Log Message: Rename hat-trail to hat-trail-in-java.

1 0

Rename old hat-trail script to hat-trail-in-java.
by malcolm＠sparud.net 07 Mar '02

07 Mar '02

malcolm: Thu Mar 7 12:52:45 CET 2002 Update of /usr/src/master/nhc/script In directory hinken:/tmp/cvs-serv20531 Added Files: hat-trail-in-java.inst Removed Files: hat-trail.inst Log Message: Rename old hat-trail script to hat-trail-in-java.

1 0

Updates to hat tools.
by malcolm＠sparud.net 07 Mar '02

07 Mar '02

malcolm: Thu Mar 7 12:51:06 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv20491 Modified Files: HatDetect.hs HatExplore.hs HatObserve.hs HatTrace.gc Makefile hatinterface.c observe.c Log Message: Updates to hat tools. * rename hat-explore to hat-trail * in hat-detect + hat-observe: * command :explore is now :trail * change equation numbering from #n: to coloured n * highlight the option keywords when :set reports the current options * command :unset is removed, replaced by :set option [on|off] * in hat-trail: * option to show equations is now on by default * bugfix to ensure equations are indeed always shown when the mode is on * new command names :detect :observe :Observe :src :Src * in hat-observe: * `unique' mode renamed to `generalise' mode * `lines' option renamed to `group' * remove use of simple equation number as a command * new facility to observe by source reference (filename/line/col) rather than function name. Current name is :source. Better suggestions welcome, especially since hat-trail uses :observe/:Observe.

1 0

Minor updates to reflect the new hat tools.
by malcolm＠sparud.net 06 Mar '02

06 Mar '02

malcolm: Wed Mar 6 11:31:03 CET 2002 Update of /usr/src/master/nhc/docs In directory hinken:/tmp/cvs-serv10536/docs Modified Files: copyright.html Log Message: Minor updates to reflect the new hat tools.

1 0

Minor updates to reflect the new hat tools.
by malcolm＠sparud.net 06 Mar '02

06 Mar '02

malcolm: Wed Mar 6 11:31:03 CET 2002 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv10536 Modified Files: COPYRIGHT Log Message: Minor updates to reflect the new hat tools.

1 0

Reformat for readability.
by malcolm＠sparud.net 05 Mar '02

05 Mar '02

malcolm: Tue Mar 5 13:14:20 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv699 Modified Files: HatTrie.hs Log Message: Reformat for readability.

1 0

Lowlevel getResult() routine should check for a SAT after
by malcolm＠sparud.net 04 Mar '02

04 Mar '02

malcolm: Mon Mar 4 17:56:47 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18597 Modified Files: utils.c Log Message: Lowlevel getResult() routine should check for a SAT after a TNm, not only after a TAp. This fixes hat-explore so that = always shows a result.

1 0

In hat-observe: allow interrupts while searching for equat
by malcolm＠sparud.net 04 Mar '02

04 Mar '02

malcolm: Mon Mar 4 17:55:07 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18574 Modified Files: HatObserve.hs HatTrace.gc observe.c observe.h Log Message: In hat-observe: allow interrupts while searching for equations. Also, add commands :+ and :- for changing cutoff-depth by increments.

1 0

In hat-explore:
by malcolm＠sparud.net 04 Mar '02

04 Mar '02

malcolm: Mon Mar 4 17:52:23 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18521 Modified Files: HatExplore.hs HighlightStyle.hs SExp.hs Log Message: In hat-explore: * add a status line - shows messages, and usually the current srcref * add commands to change the cutoff-depth * add an `always-show-equations' mode * support multi-character commands on the bottom line * the = key now toggles the current equation on/off * the = key takes you immediately to the RHS * the action of the [ ] movement keys is now bound to < and > * shrink and expand are now - and +

1 0