Age | Commit message (Expand) | 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 |
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 |
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 |
2003-10-31 | * Working evaluator. | Eelco Dolstra | 1 | -0/+93 |
2003-10-30 | * Clean up the imploded parse tree. Quotes around strings are | Eelco Dolstra | 1 | -1/+1 |
2003-10-30 | * Bottomup rewrite function. | Eelco Dolstra | 1 | -0/+33 |