depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2003-11-16	* An forward non-random access input iterator class for ATermLists.	Eelco Dolstra	1	-33/+16

2003-11-16	* Some utility functions for working with ATerms.	Eelco Dolstra	1	-10/+12

2003-11-05	* Assertions.	Eelco Dolstra	1	-0/+6
	* Logical operators (!, &&, \|\|, ->).
2003-11-05	* Default function arguments.	Eelco Dolstra	1	-1/+4

2003-11-03	* Work around problems with the ATerm library.	Eelco Dolstra	1	-19/+103
	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	* Shorter list syntax ([a b c] instead of [a, b, c]).	Eelco Dolstra	1	-6/+4

2003-11-01	* Filter the substitution list when descending into a recursive	Eelco Dolstra	1	-1/+14
	attribute set.
2003-10-31	* Working evaluator.	Eelco Dolstra	1	-0/+93
	* Mutually recursive attribute sets. * Print evaluator efficiency statistics.
2003-10-30	* Clean up the imploded parse tree. Quotes around strings are	Eelco Dolstra	1	-1/+1
	removed, paths are absolutised relative to the path containing the expression we just parsed, and integer literals are converted to actual integers.
2003-10-30	* Bottomup rewrite function.	Eelco Dolstra	1	-0/+33