Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2003-11-18 | * "Nix expression" -> "store expression". | Eelco Dolstra | 1 | -1/+0 | |
* More refactoring. | |||||
2003-11-16 | * An forward non-random access input iterator class for ATermLists. | Eelco Dolstra | 1 | -24/+12 | |
2003-11-16 | * Some utility functions for working with ATerms. | Eelco Dolstra | 1 | -51/+57 | |
2003-11-09 | * Turned the msg() and debug() functions into macros, since they | Eelco Dolstra | 1 | -3/+3 | |
turned out to be a huge performance bottleneck (the text to printed would always be evaluated, even when it was above the verbosity level). This reduces fix-ng execution time by over 50%. gprof(1) is very useful. :-) | |||||
2003-11-06 | * `null' is a nullary primop. | Eelco Dolstra | 1 | -3/+2 | |
2003-11-05 | * Assertions. | Eelco Dolstra | 1 | -11/+32 | |
* Logical operators (!, &&, ||, ->). | |||||
2003-11-05 | * Default function arguments. | Eelco Dolstra | 1 | -5/+8 | |
2003-11-03 | * Work around problems with the ATerm library. | Eelco Dolstra | 1 | -22/+34 | |
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-02 | * Boolean constants. | Eelco Dolstra | 1 | -3/+4 | |
2003-11-02 | * Primops: baseNameOf, toString. | Eelco Dolstra | 1 | -0/+2 | |
2003-11-01 | * Conditions, string equality. | Eelco Dolstra | 1 | -0/+24 | |
2003-11-01 | * Let syntax. | Eelco Dolstra | 1 | -0/+5 | |
2003-10-31 | * Working evaluator. | Eelco Dolstra | 1 | -1/+161 | |
* Mutually recursive attribute sets. * Print evaluator efficiency statistics. | |||||
2003-10-30 | * Factor out evaluation into a separate file. | Eelco Dolstra | 1 | -0/+45 | |