Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Another run of Specialize, using ReduceLocal on datatype parameters | 2010-06-05 | |
| | |||
* | Undo an Especialize change that turned out to be unecessary | 2010-03-16 | |
| | |||
* | Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly | 2010-03-06 | |
| | |||
* | Reduce concatenations of the empty record; unpoly non-recursive functions | 2010-01-10 | |
| | |||
* | Inlining threshold for Reduce | 2009-10-25 | |
| | |||
* | Fix a nasty binding bug in CoreUtil | 2009-05-14 | |
| | |||
* | Improving/reordering Unpoly and Especialize; pathmaps | 2009-05-14 | |
| | |||
* | listFun uses length | 2008-10-21 | |
| | |||
* | Crud listing IDs | 2008-09-11 | |
| | |||
* | Unpolyed a polymorphic function of two arguments | 2008-09-11 | |
| | |||
* | Unpoly non-recursive function | 2008-09-11 | |