nrabulinski/lix
0
0
Fork 0
forked from lix-project/lix
Code Pull requests Activity
314 commits 20 branches 0 tags 68 MiB
Commit graph

4 commits

Author SHA1 Message Date
Eelco Dolstra fa18f1f184 * Assertions. 
* Logical operators (!, &&, ||, ->).
 2003-11-05 16:27:40 +00:00
Eelco Dolstra 0690c1c9c0 * Work around problems with the ATerm library. 
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-11-03 20:30:40 +00:00
Eelco Dolstra 9210d4d530 * Working evaluator. 
* Mutually recursive attribute sets.
* Print evaluator efficiency statistics.
 2003-10-31 17:09:31 +00:00
Eelco Dolstra e537844f4e * Bottomup rewrite function. 2003-10-30 16:11:24 +00:00