| Mon, 01 Apr 2013 10:13:49 -0400 |
Adam Chlipala |
Change Name_js to skip code snippets that depend on the CSRF-protection signature |
| Thu, 02 Aug 2012 18:12:37 -0400 |
Adam Chlipala |
New NameJs phase, still needing some debugging |
| Fri, 25 Nov 2011 11:08:51 -0500 |
Adam Chlipala |
Announce sidedness errors with source locations |
| Tue, 08 Sep 2009 19:42:12 -0400 |
Adam Chlipala |
'more' demos working after optimizer fix |
| Sat, 20 Dec 2008 14:19:21 -0500 |
Adam Chlipala |
Start of JsComp |
| Tue, 25 Nov 2008 10:05:44 -0500 |
Adam Chlipala |
Fusing writes with recursive function calls |
| Sat, 09 Aug 2008 19:23:31 -0400 |
Adam Chlipala |
'Option' datatype encoding |
| Sun, 03 Aug 2008 19:49:21 -0400 |
Adam Chlipala |
Datatype representation optimization |
| Tue, 29 Jul 2008 15:43:17 -0400 |
Adam Chlipala |
Storing datatype constructors in type references past monoize |
| Sun, 13 Jul 2008 10:17:06 -0400 |
Adam Chlipala |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
| Thu, 03 Jul 2008 18:06:52 -0400 |
Adam Chlipala |
Mono optimizations (start with string concat and space eating) |
| Tue, 10 Jun 2008 15:56:33 -0400 |
Adam Chlipala |
Closure conversion |
