| Thu, 27 Nov 2008 11:17:56 -0500 |
Adam Chlipala |
Remove some isUnitCon cases |
| Thu, 27 Nov 2008 10:40:29 -0500 |
Adam Chlipala |
Remove unnecessary lifts in ElabEnv.pushCRel |
| Thu, 27 Nov 2008 10:13:22 -0500 |
Adam Chlipala |
Remove unnecessary [kindof] calls |
| Tue, 11 Nov 2008 19:20:37 -0500 |
Adam Chlipala |
Add CutMulti |
| Sat, 08 Nov 2008 16:02:59 -0500 |
Adam Chlipala |
Especialize handles records better |
| Sat, 08 Nov 2008 13:15:00 -0500 |
Adam Chlipala |
Some small changes while failing to write [restrict] |
| Thu, 06 Nov 2008 19:43:48 -0500 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
| Thu, 06 Nov 2008 17:09:53 -0500 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
