[cvs-nhc98] patch applied (hat): Correct bug in writing new node ValueApp.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:15:42 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Generation of new Augmented Redex Trail file format.
Next message: [cvs-nhc98] patch applied (hat): The first updated tools for the new file format.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Apr 16 07:51:28 PDT 2002  olaf
  * Correct bug in writing new node ValueApp.
  
  The HatCounter in hat.c was incorrectly computed. The correct trace is slightly smaller. 31701155 for Adjoxo < edgecorner1.in.

    M ./src/hatlib/hat-c.c -3 +47

Previous message: [cvs-nhc98] patch applied (hat): Generation of new Augmented Redex Trail file format.
Next message: [cvs-nhc98] patch applied (hat): The first updated tools for the new file format.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list