diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-04T16·03+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-04T16·03+0000 |
| commit | 9b44480612dd30a7292ec94a88e4018b8f18e3f0 (patch) | |
| tree | 0c83114806a4f7724a5dd8dcb0694103e70acb71 /externals | |
| parent | c4f7ae4aa5fc7071cfa853ec5d75aaf00e7a97fc (diff) | |
* Use a map to lookup primops.
* Various performance improvements in the evaluator. * Do not link against unused (and missing!) libraries (-lsglr, etc.).
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions