[cvs-nhc98] patch applied (hat): Accept TR nodes with the `8' bit set to indicate SAT without APP.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:04:02 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Connect to trace by executing hat-connect within hat-trail.
Next message: [cvs-nhc98] patch applied (hat): Introduced specially marked lonely Sats
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue May  8 06:49:24 PDT 2001  colin
  * Accept TR nodes with the `8' bit set to indicate SAT without APP.

    M ./src/hattools/hat-check.c -24 +4

Previous message: [cvs-nhc98] patch applied (hat): Connect to trace by executing hat-connect within hat-trail.
Next message: [cvs-nhc98] patch applied (hat): Introduced specially marked lonely Sats
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list