Tue, 06 Oct 2009 17:36:45 -0400 |
Adam Chlipala |
Versioned1 demo working |
Tue, 22 Sep 2009 15:12:09 -0400 |
Adam Chlipala |
Quoting JavaScript working |
Thu, 17 Sep 2009 12:55:22 -0400 |
Adam Chlipala |
Find more opportunities for 'let' inlining with better purity information |
Tue, 15 Sep 2009 12:23:42 -0400 |
Adam Chlipala |
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid |
Sun, 13 Sep 2009 13:25:09 -0400 |
Adam Chlipala |
Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce |
Wed, 09 Sep 2009 08:00:45 -0400 |
Adam Chlipala |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining |
Tue, 08 Sep 2009 20:12:17 -0400 |
Adam Chlipala |
Fix memmem() signature; fix mono_reduce environment bookkeeping |
Tue, 08 Sep 2009 19:42:12 -0400 |
Adam Chlipala |
'more' demos working after optimizer fix |
Tue, 08 Sep 2009 10:18:19 -0400 |
Adam Chlipala |
dragList almost kinda works |
Tue, 25 Aug 2009 13:57:56 -0400 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
Sun, 09 Aug 2009 16:13:27 -0400 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
Sat, 13 Jun 2009 15:42:24 -0400 |
Adam Chlipala |
Fix MonoReduce unsoundness with lets and fns |
Sat, 30 May 2009 13:29:00 -0400 |
Adam Chlipala |
Substring functions; fix a nasty MonoReduce pattern match substitution bug |
Thu, 28 May 2009 13:47:05 -0400 |
Adam Chlipala |
Fix variable adjustment bug in fn/case alternation |
Sun, 17 May 2009 18:41:43 -0400 |
Adam Chlipala |
Redo Jscomp |
Sun, 17 May 2009 14:36:55 -0400 |
Adam Chlipala |
Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce |
Thu, 14 May 2009 18:13:09 -0400 |
Adam Chlipala |
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp |
Thu, 14 May 2009 13:18:31 -0400 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
Sat, 02 May 2009 11:27:26 -0400 |
Adam Chlipala |
Successfully influenced effectful-ness status of FFI func |
Sun, 26 Apr 2009 09:02:17 -0400 |
Adam Chlipala |
Returning a blob as page result |
Thu, 23 Apr 2009 16:13:02 -0400 |
Adam Chlipala |
Cookie signatures for RPCs |
Thu, 16 Apr 2009 13:47:20 -0400 |
Adam Chlipala |
Some client-side error handling |
Thu, 16 Apr 2009 12:36:01 -0400 |
Adam Chlipala |
onError |
Sun, 05 Apr 2009 10:48:11 -0400 |
Adam Chlipala |
Threads demo |
Sat, 04 Apr 2009 15:56:47 -0400 |
Adam Chlipala |
sleep and better Scriptcheck |
Sat, 04 Apr 2009 14:55:36 -0400 |
Adam Chlipala |
spawn |
Thu, 02 Apr 2009 15:12:06 -0400 |
Adam Chlipala |
Redo signal implementation to avoid memory leaks |
Sun, 22 Mar 2009 16:03:45 -0400 |
Adam Chlipala |
Proper recv |