patch applied (hat): Tolerate but ignore SAT with no APP bit in TR nodes.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
10 Oct '06
1
0
patch applied (hat): Fixed bug in hat-connect (bad refnr); allow prog or prog.hat arg to hat-check.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
10 Oct '06
1
0
patch applied (hat): Accept TR nodes with the `8' bit set to indicate SAT without APP.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Connect to trace by executing hat-connect within hat-trail.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
patch applied (hat): Allow for negative big Integers in the hat file format.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Hat-stack and hat-connect now only add .hat extension to their file
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0