October 2006 - Cvs-nhc98

patch applied (hat): Numerous small changes and bugfixes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Nov 4 11:41:31 PST 2004 olaf * Numerous small changes and bugfixes. Now all tools (execpt hat-anim) can call hat-explore and vice versa. Hat-explore always shows the full stack, even if started with specific redex. (So it nearly includes hat-trail.) Stack elements are numbered for better orientation in deep stack. M ./src/hattools/CommonUI.hs -1 +4 M ./src/hattools/HatDetect.hs -2 +15 M ./src/hattools/HatExplore.hs -67 +135 M ./src/hattools/HatObserve.hs -4 +18 M ./src/hattools/HatTrail.hs -1 +6

1 0

patch applied (hat): Prototype for mkListCons.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 19 01:40:24 PDT 2004 malcolm * Prototype for mkListCons. M ./src/hatlib/hat-c.h +4

1 0

patch applied (hat): Renamed hat-source -> hat-explore.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Oct 15 11:03:14 PDT 2004 olaf * Renamed hat-source -> hat-explore. M ./configure -1 +1 M ./src/hattools/HatExplore.hs -1 +1 M ./src/hattools/Makefile -5 +5

1 0

patch applied (hat): Now hat-source uses new information about children of Hidden nodes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Oct 15 10:42:35 PDT 2004 olaf * Now hat-source uses new information about children of Hidden nodes. So now all parts of the EDT can be reached with hat-source. When the current redex has no location information, but there is a parent, then that is highlighted in the source window. Important when stepping from trusted higher-order function to applications of suspected children, which do not have location info, because they are applied in body of trusted function. M ./src/hattools/HatExplore.hs -14 +23 M ./src/hattools/LowLevel.hs +10 M ./src/hattools/artutils.c -1 +12

1 0

patch applied (hat): Extended tracing to write extended fileformat, i.e. children of Hidden nodes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Oct 15 08:41:49 PDT 2004 olaf * Extended tracing to write extended fileformat, i.e. children of Hidden nodes. Nicely only a tiny change is needed in Hat.hs, calling the new recordChild function in fun_i combinators when the parent is hidden. So the additional child information only costs time when there are such children. Most changes in hat-c.c. New buffer for every Hidden node that has children (but not those that do not). This buffer enables simple reading and updating of the child pointer of a Hidden. The buffer is only written at termination time, so unfortunately the space requirements of a traced program are no longer proportional to that of an untraced one. However, I believe that in practise the buffer will never be large. The buffer is currently a linked list of arrays. A tree structure would allow faster lookup, but the existing FiniteMap is unsuitable (only for pointers). hat-check has been modified to make appropriate checks. M ./src/hatlib/Hat/Hat.hs -15 +33 M ./src/hatlib/hat-c.c -7 +109 M ./src/hatlib/hat-c.h +3 M ./src/hattools/hat-check.c -3 +3

1 0

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

10 Oct '06

Wed Oct 13 12:19:43 PDT 2004 olaf * Extended fileformat: New node ListCons has to fields: the element pointer and the tail pointer. Extended Hidden node with an extra child pointer, that shall point to a ListCons or is NULL. Modified basic libraries and tools, so that they deal with changes. New nodes currently ignored by all tools, except hat-check (but no particular new check). For the moment a bogus ListCons is written with every Hidden node, to test if tools can deal with the node. Has to be removed later again. Otherwise ListCons and additional Hidden node field are not written yet while tracing. M ./include/art.h +2 M ./src/hatlib/hat-c.c -1 +17 M ./src/hattools/LowLevel.hs +4 M ./src/hattools/artutils.c -1 +5 M ./src/hattools/hat-check.c -8 +23

1 0

patch applied (hat): Fix HTML validation errors
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Oct 13 03:00:45 PDT 2004 malcolm * Fix HTML validation errors M ./docs/index.html -25 +16

1 0

patch applied (hat): Now it is also possible to declare trusted reductions to be wrong or of unknown correctness.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 11:21:22 PDT 2004 olaf * Now it is also possible to declare trusted reductions to be wrong or of unknown correctness. So the difference between trusted and suspected reductions is that without a different declaration by the programmer the former are by default correct, the later are by default unknown. M ./src/hattools/HatExplore.hs -21 +38

1 0

patch applied (hat): Added a message line that either gives some state information or shows a warning message.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 10:22:09 PDT 2004 olaf * Added a message line that either gives some state information or shows a warning message. Reduce screen flickering by forcing the whole screen output string before doing output. Cut overlong lines at end of line. Handle \t, \r and \f correctly. Added forgotten export of "home" to HighlightStyle. M ./src/hattools/HatExplore.hs -27 +74 M ./src/hattools/HighlightStyle.hs -1 +1

1 0

patch applied (hat): Note that < glib> is no longer required (but still used if present).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Oct 12 02:52:12 PDT 2004 malcolm * Note that <glib> is no longer required (but still used if present). M ./docs/requirements.html -9 +10

1 0