Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2003-11-05 | * Assertions. | Eelco Dolstra | 1 | -1/+3 | |
* Logical operators (!, &&, ||, ->). | |||||
2003-11-03 | * Work around problems with the ATerm library. | Eelco Dolstra | 1 | -5/+35 | |
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 Dolstra | 1 | -2/+18 | |
* Mutually recursive attribute sets. * Print evaluator efficiency statistics. | |||||
2003-10-30 | * Bottomup rewrite function. | Eelco Dolstra | 1 | -0/+27 | |