October 2006 - Cvs-nhc98

patch applied (hat): Make sure Fixity(..) is imported.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jul 11 07:09:18 PDT 2001 malcolm * Make sure Fixity(..) is imported. M ./src/compiler98/TraceId.hs -1 +1 M ./src/hattrans/TraceId.hs -1 +1

1 0

patch applied (hat): - add " else" case for new introduced check in " hatMainCAF"
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jul 9 06:50:28 PDT 2001 thorsten * - add "else" case for new introduced check in "hatMainCAF" M ./src/hattools/hat-detect.c -1 +1 M ./src/hattools/hatinterface.c -2 +2

1 0

patch applied (hat): - stable version of Hatobserve, fixed two seg faults
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun Jul 8 07:38:12 PDT 2001 thorsten * - stable version of Hatobserve, fixed two seg faults - handling large expressions in Hatobserve: adjustable precision - detecting cyclic structures and displaying them correctly for all tools M ./src/hattools/Expressions.c -29 +94 M ./src/hattools/Expressions.h -1 +3 M ./src/hattools/FunTable.c -5 +5 M ./src/hattools/FunTable.h -1 +1 M ./src/hattools/HatExpression.hs -35 +38 M ./src/hattools/HatObserve.hs -42 +56 M ./src/hattools/HatTrace.gc -16 +18 M ./src/hattools/HatTrie.hs +1 M ./src/hattools/Hatobserve.hs -42 +56 M ./src/hattools/Makefile -9 +9 M ./src/hattools/detect.c -2 +6 M ./src/hattools/hat-checki.c -3 +3 M ./src/hattools/hat-detect.c -10 +12 M ./src/hattools/hat-observe.c -2 +2 M ./src/hattools/hatinterface.c -3 +19 M ./src/hattools/nodelist.c -1 +1 M ./src/hattools/nodelist.h -6 +6 M ./src/hattools/observeutils.c -2 +2

1 0

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

10 Oct '06

Sun Jul 8 07:34:38 PDT 2001 thorsten * Updated documentation for Hatobserve. - display of cyclic structures and special symbols - handling large expressions M ./docs/hatuser.tex -6 +46

1 0

patch applied (hat): Updated hat-detect part of documentation: ?Y and ?N instead of only ?.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jul 5 11:54:49 PDT 2001 thorsten * Updated hat-detect part of documentation: ?Y and ?N instead of only ?. M ./docs/hatuser.tex -6 +12

1 0

patch applied (hat): Added feature to hat-detect: postponing questions.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jul 5 11:49:18 PDT 2001 thorsten * Added feature to hat-detect: postponing questions. ?N for "maybe no" and ?Y for "maybe yes" instead of ? only. M ./src/hattools/hat-detect.c -20 +67 M ./src/hattools/nodelist.c +31 M ./src/hattools/nodelist.h -3 +3

1 0

patch applied (hat): Updated manual: Description of interactive mode for Hatobserve added.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jul 5 09:48:34 PDT 2001 thorsten * Updated manual: Description of interactive mode for Hatobserve added. M ./docs/hatuser.tex -13 +178

1 0

patch applied (hat): - Hatobserve made primary " observation" tool. hat-observe.c now obsolete.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jul 5 09:45:57 PDT 2001 thorsten * - Hatobserve made primary "observation" tool. hat-observe.c now obsolete. - Heavily improved interactive mode for Hatobserve. - First integration of Hatobserve and hat-detect: Algorithmic Debugging Sessions can immediately be started on an observed equation. M ./src/hattools/HatObserve.hs -54 +347 M ./src/hattools/HatTrace.gc -5 +34 M ./src/hattools/HatTrie.hs -332 +344 M ./src/hattools/Hatobserve.hs -54 +347 M ./src/hattools/Makefile -5 +5 M ./src/hattools/detect.c -10 +10 M ./src/hattools/hat-detect.c -5 +18

1 0

patch applied (hat): Add fixPriority :: TraceId -> Int (uses current byte encoding).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jul 3 09:45:50 PDT 2001 malcolm * Add fixPriority :: TraceId -> Int (uses current byte encoding). M ./src/compiler98/TraceId.hs +11 M ./src/hattrans/TraceId.hs +11

1 0

patch applied (hat): Removed flag to compile for tracing.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jul 3 03:29:24 PDT 2001 thorsten * Removed flag to compile for tracing. M ./src/hattools/Makefile -1 +1

1 0