log src/mono_reduce.sml

age author description
Sun, 25 Oct 2009 14:07:10 -0400 Adam Chlipala RPC uses VM support for call/cc
Sun, 25 Oct 2009 12:48:50 -0400 Adam Chlipala Inlining threshold for Mono_reduce
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
Sun, 22 Mar 2009 15:05:07 -0400 Adam Chlipala First message send delivered, but not interpreted
Sun, 15 Feb 2009 13:03:09 -0500 Adam Chlipala Parameterized RPC query
Sun, 15 Feb 2009 10:32:50 -0500 Adam Chlipala First gimpy RPC
Sun, 15 Feb 2009 09:27:36 -0500 Adam Chlipala Export RPC functions and push RPC calls through to Mono
Tue, 13 Jan 2009 15:17:11 -0500 Adam Chlipala Initial experiments with nested <dyn>
Tue, 30 Dec 2008 15:53:04 -0500 Adam Chlipala Propagated a source change into a dynamic document element
Tue, 30 Dec 2008 11:33:31 -0500 Adam Chlipala Harmonized source-setting between server and client
Tue, 30 Dec 2008 10:49:42 -0500 Adam Chlipala Setting a source server-side
Sun, 21 Dec 2008 12:56:39 -0500 Adam Chlipala Trivial use of a source
Sun, 21 Dec 2008 12:30:57 -0500 Adam Chlipala Handling singnal bind
Sat, 20 Dec 2008 15:46:48 -0500 Adam Chlipala Initial <dyn> support
Fri, 19 Dec 2008 12:38:11 -0500 Adam Chlipala Displayed an alert dialog
Fri, 19 Dec 2008 11:47:18 -0500 Adam Chlipala Creation of sources in server code
Tue, 11 Nov 2008 15:32:10 -0500 Adam Chlipala Ignore UseRel effects in [let] expansions
Sat, 08 Nov 2008 16:47:04 -0500 Adam Chlipala Better detection of [let] substitution opportunities
Thu, 06 Nov 2008 18:49:38 -0500 Adam Chlipala Tree demo works
Thu, 06 Nov 2008 12:46:45 -0500 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
Thu, 06 Nov 2008 12:08:41 -0500 Adam Chlipala Reading cookies works
Thu, 06 Nov 2008 11:29:16 -0500 Adam Chlipala Setting a cookie
Thu, 06 Nov 2008 09:21:34 -0500 Adam Chlipala Monoizing FFI transactions correctly
Thu, 30 Oct 2008 15:39:06 -0400 Adam Chlipala Don't inline case expressions
Tue, 21 Oct 2008 13:24:54 -0400 Adam Chlipala Simple listShop working
Tue, 21 Oct 2008 09:50:19 -0400 Adam Chlipala Binops; equality tested on int; lame 404 substitute
Sun, 14 Sep 2008 19:03:55 -0400 Adam Chlipala Crud update form
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Thu, 11 Sep 2008 11:44:46 -0400 Adam Chlipala Improve linear-let optimization
Thu, 11 Sep 2008 11:30:39 -0400 Adam Chlipala Optimization removes linear let-bindings of impure expressions
Thu, 11 Sep 2008 10:14:59 -0400 Adam Chlipala Unpolyed a polymorphic function of two arguments
Sun, 07 Sep 2008 15:05:52 -0400 Adam Chlipala First INSERT works
Sun, 07 Sep 2008 13:29:01 -0400 Adam Chlipala pquery working with all four types of columns