[cvs-nhc98] patch applied (hat): When counting function applications, include over-saturated apps in the count.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:29:53 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Extended hat-explore: if the computation aborted with a run-time error, then hat-explore starts now by default at the reduction causing the error, not the reduction of main.
Next message: [cvs-nhc98] patch applied (hat): Robustify ghc detection on MacOS X and Cygwin.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri Nov 19 08:04:19 PST 2004  malcolm
  * When counting function applications, include over-saturated apps in the count.

    M ./src/hattools/hat-names.c -3 +3

Previous message: [cvs-nhc98] patch applied (hat): Extended hat-explore: if the computation aborted with a run-time error, then hat-explore starts now by default at the reduction causing the error, not the reduction of main.
Next message: [cvs-nhc98] patch applied (hat): Robustify ghc detection on MacOS X and Cygwin.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list