| Thu, 14 May 2009 13:18:31 -0400 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
| Thu, 14 May 2009 08:13:54 -0400 |
Adam Chlipala |
Improving/reordering Unpoly and Especialize; pathmaps |
| Sun, 12 Apr 2009 14:19:15 -0400 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
| Sun, 22 Feb 2009 17:17:01 -0500 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
| Thu, 27 Nov 2008 12:43:28 -0500 |
Adam Chlipala |
Avoid Especializing polymorphic code |
| Thu, 27 Nov 2008 12:34:44 -0500 |
Adam Chlipala |
Ditch use of ElabEnv.env in Especialize, to realize big speed-up |
| Thu, 27 Nov 2008 12:04:54 -0500 |
Adam Chlipala |
Untangle and shake within Especialize loop |
| Tue, 11 Nov 2008 15:12:24 -0500 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
| Tue, 11 Nov 2008 11:49:51 -0500 |
Adam Chlipala |
Get threadedBlog to work |
| Sun, 09 Nov 2008 17:27:34 -0500 |
Adam Chlipala |
Prevent overzealous Especialization |
| Sun, 09 Nov 2008 12:41:34 -0500 |
Adam Chlipala |
Remove an extra line |
| Sun, 09 Nov 2008 11:53:52 -0500 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
| Sat, 08 Nov 2008 16:02:59 -0500 |
Adam Chlipala |
Especialize handles records better |
| Sat, 08 Nov 2008 14:42:52 -0500 |
Adam Chlipala |
Broaden set of possible especializations |
| Thu, 06 Nov 2008 17:09:53 -0500 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
| Sat, 01 Nov 2008 21:19:43 -0400 |
Adam Chlipala |
Almost have that nested save function compiling |
| Thu, 30 Oct 2008 17:07:34 -0400 |
Adam Chlipala |
Remove _espec tag; add some tag fields |
| Thu, 30 Oct 2008 16:58:54 -0400 |
Adam Chlipala |
Especialize |
