patch applied (hat): In hat-check -g, add file addresses to the node labels of the printed graph.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Minor changes to allow hat-tools to build with ghc.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
10 Oct '06
1
0
10 Oct '06
1
0
patch applied (hat): Workaround for Hidden-> Forward-> Projection-> Hidden cycle.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Always detect cycles. Numbered expressions should have number in blue.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Script to invoke hat-check -g on a .hat file and pass the output to
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Add -g mode to hat-check. The new option generates a graph as a
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Hat-library: removed bug that produced corrupted trace when interrupted.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0