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