about summary refs log tree commit diff
path: root/src/fix-ng/eval.hh
AgeCommit message (Collapse)AuthorFilesLines
2003-11-03 * Work around problems with the ATerm library.Eelco Dolstra1-2/+1
The ATerm library doesn't search the heap for pointers to ATerms when garbage collecting. As a result, C++ containers such as `map<ATerm, ATerm>' will cause pointer to be hidden from the garbage collector, causing crashes. Instead, we now use ATermTables.
2003-10-31 * Working evaluator.Eelco Dolstra1-4/+15
* Mutually recursive attribute sets. * Print evaluator efficiency statistics.
2003-10-30 * Factor out evaluation into a separate file.Eelco Dolstra1-0/+31