[cvs-nhc98] - hat-tools now supporting isolated SATs in the hat file.

thorsten: Mon May 14 19:37:43 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv24858/src/tracer/hat Modified Files: Expressions.c Expressions.h FunTable.c FunTable.h Makefile hat-detect.c hat-interact.c hat-observe.c hatfile.h hatfileops.c hatfileops.h Added Files: menu.c menu.h observe.c Log Message: - hat-tools now supporting isolated SATs in the hat file. Equations given by the tools should now be correct (mostly...) - hat-observe now includes a work around for the partial application problem. - Many modifications to hat-detect: it's a lot better now! ;)