October 2006 - Cvs-nhc98

patch applied (hat): Updated web pages for Hat.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon May 21 07:06:34 PDT 2001 olaf * Updated web pages for Hat. M ./docs/faq.html -38 +31 M ./docs/feature-table.html -1 +1 M ./docs/hatuser.tex -2 +2 M ./docs/index.html -45 +54 M ./docs/limitations.html -28 +33 R ./docs/private/Memos/ R ./docs/private/Memos/index.html R ./docs/private/conf.html R ./docs/private/index.html

1 0

patch applied (hat): - introduced workaround for IO(_): showing operation behind HIDDEN node
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon May 21 06:50:29 PDT 2001 thorsten * - introduced workaround for IO(_): showing operation behind HIDDEN node - new command in hat-detect: going back to specific questions by entering a number only (rather than using the "go" command), as suggested by the manual M ./src/hattools/hat-detect.c -4 +12 M ./src/hattools/hatfileops.c +12

1 0

patch applied (hat): Update Hat feature-table.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon May 21 06:32:58 PDT 2001 malcolm * Update Hat feature-table. M ./docs/feature-table.html -1 +1

1 0

patch applied (hat): Updated and reordered documentation for Hat.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon May 21 03:33:27 PDT 2001 olaf * Updated and reordered documentation for Hat. Everything is in the subdirectory docs/hat. R ./docs/compiler.gif R ./docs/compiler2.gif A ./docs/hat-trail-1.eps A ./docs/hat-trail.gif A ./docs/hat.gif A ./docs/hatuser.tex M ./docs/index.html -58 +186 R ./docs/people.html

1 0

patch applied (hat): - fixed two minor bugs in hat-detect.c, concerning displaying erroneous equations
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon May 21 03:22:42 PDT 2001 thorsten * - fixed two minor bugs in hat-detect.c, concerning displaying erroneous equations - added missing module "nodelist" to archive M ./src/hattools/hat-detect.c -3 +2 A ./src/hattools/nodelist.c A ./src/hattools/nodelist.h

1 0

patch applied (hat): In tracing runtime, do interrupt/quit signals correctly.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon May 21 03:01:53 PDT 2001 malcolm * In tracing runtime, do interrupt/quit signals correctly. M ./src/old/runtime/browsercomms.c -4 +10

1 0

patch applied (hat): - removed " forgotten" debugging code from hat-detect
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sat May 19 12:28:41 PDT 2001 thorsten * - removed "forgotten" debugging code from hat-detect - fixed problem with "hidden" parents in hat-detect - hat-observe: fixed problem with applications with a function trace to a SAT, which references the searched identifier in observe.c M ./src/hattools/hat-detect.c +3 M ./src/hattools/hatfileops.c -1 +5 M ./src/hattools/observeutils.c -7 +12

1 0

patch applied (hat): New low level interface for hat files: abstraction from file structure.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 18 10:01:46 PDT 2001 thorsten * New low level interface for hat files: abstraction from file structure. bug fixes: accept INTEGERs with negative number of bytes in hat files consider recursive calls to functions within a non-toplevel definition properly improve EDT structure: treat children of non-toplevel equations as children of the non-toplevel equation's parent M ./src/hattools/Expressions.c -8 +11 M ./src/hattools/Expressions.h -2 +2 M ./src/hattools/FunTable.c -2 +2 M ./src/hattools/Makefile -2 +4 M ./src/hattools/hat-check.c -1 +2 M ./src/hattools/hat-detect.c -40 +50 M ./src/hattools/hat-interact.c -42 +44 M ./src/hattools/hatfileops.c -274 +529 M ./src/hattools/hatfileops.h -70 +47 M ./src/hattools/observeutils.c -113 +25

1 0

patch applied (hat): New communication protocol to support accurate yellow and blue annotation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 18 04:46:26 PDT 2001 colin * New communication protocol to support accurate yellow and blue annotation. Better clean-up on closing window. M ./src/old/trail/Bottom.java -10 +13 M ./src/old/trail/Case.java -15 +14 M ./src/old/trail/CharList.java -7 +12 M ./src/old/trail/CutOffTree.java -14 +8 M ./src/old/trail/DbgPanel.java -11 +9 M ./src/old/trail/EDTNode.java -14 +17 M ./src/old/trail/EDTParser.java -107 +108 M ./src/old/trail/EDTStructuredNode.java -21 +18 M ./src/old/trail/Hidden.java -4 +7 M ./src/old/trail/IdName.java -16 +10 M ./src/old/trail/OutputPanel.java -1 +1 M ./src/old/trail/Pruned.java -3 +4 M ./src/old/trail/Redex.java -4 +7 M ./src/old/trail/Trace.java -5 +4 M ./src/old/trail/TraceFrame.java +5 M ./src/old/trail/TraceTree.java -3 +4

1 0

patch applied (hat): Permit hat-trail to display parent-colouring correctly.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri May 18 04:02:40 PDT 2001 malcolm * Permit hat-trail to display parent-colouring correctly. To achieve this, we add an extra field to most of the messages sent from hat-connect to hat-trail. This field contains a prediction (obtained via the new routine peekTrace()) of the node number that will eventually be the /displayed/ parent for a particular node, i.e. by skipping over Hiddens and Sats and following the left pointer of Indirections. M ./src/hattools/browsercomms.c -7 +66 M ./src/hattools/browsercomms.h +1 M ./src/hattools/nodecache.c -1 +2

1 0