| Tue, 16 Jun 2009 17:52:44 -0400 |
Adam Chlipala |
Fix a variable capture bug in nested JavaScript; some more list stuff |
| Sat, 13 Jun 2009 14:29:36 -0400 |
Adam Chlipala |
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |
| Sun, 07 Jun 2009 11:13:18 -0400 |
Adam Chlipala |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable |
| Sat, 06 Jun 2009 15:29:34 -0400 |
Adam Chlipala |
Fix unbound name problem in Jscomp injectors; more List stuff |
| Tue, 02 Jun 2009 19:28:25 -0400 |
Adam Chlipala |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp |
| Tue, 02 Jun 2009 12:40:09 -0400 |
Adam Chlipala |
Less whining about match failures; fix singleton record Jscomp bug |
| Tue, 02 Jun 2009 11:50:53 -0400 |
Adam Chlipala |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |
| 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 |
| Tue, 26 May 2009 12:25:06 -0400 |
Adam Chlipala |
Chars and more string operations |
| Sun, 17 May 2009 18:41:43 -0400 |
Adam Chlipala |
Redo Jscomp |
| Sun, 17 May 2009 13:25:57 -0400 |
Adam Chlipala |
Corify FFI datatypes properly; eliminate nested JavaScript markers |
| Sat, 16 May 2009 16:37:48 -0400 |
Adam Chlipala |
Fix another problem with overwrites during JavaScript pattern matching |
| Sat, 16 May 2009 15:55:15 -0400 |
Adam Chlipala |
Mutual datatypes through Pathcheck |
| 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 |
| Thu, 14 May 2009 10:31:11 -0400 |
Adam Chlipala |
Improvements while working on Graftid |
| Thu, 14 May 2009 08:13:54 -0400 |
Adam Chlipala |
Improving/reordering Unpoly and Especialize; pathmaps |
| Sat, 02 May 2009 11:27:26 -0400 |
Adam Chlipala |
Successfully influenced effectful-ness status of FFI func |
| Thu, 30 Apr 2009 17:15:14 -0400 |
Adam Chlipala |
C FFI compiler options |
| 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 16:17:32 -0400 |
Adam Chlipala |
Fixing some regressions and other bugs |
| 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 |
| Sat, 04 Apr 2009 14:03:39 -0400 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
| Sat, 04 Apr 2009 12:54:39 -0400 |
Adam Chlipala |
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active |
| Sat, 04 Apr 2009 11:46:24 -0400 |
Adam Chlipala |
Checking spans in dyns |
| Sun, 29 Mar 2009 11:37:29 -0400 |
Adam Chlipala |
Redo channels, making them single-client |
| Thu, 26 Mar 2009 18:26:50 -0400 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
| 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 |
| Tue, 10 Mar 2009 17:29:03 -0400 |
Adam Chlipala |
Noisy demo |
| Tue, 10 Mar 2009 15:17:23 -0400 |
Adam Chlipala |
Batch example |
| Tue, 10 Mar 2009 12:44:40 -0400 |
Adam Chlipala |
ListEdit demo, minus prose |
| Sun, 08 Mar 2009 13:41:55 -0400 |
Adam Chlipala |
RPC returning an option |
| Sun, 08 Mar 2009 12:37:42 -0400 |
Adam Chlipala |
RPC returning an enumeration |
| Sun, 15 Feb 2009 13:03:09 -0500 |
Adam Chlipala |
Parameterized RPC query |
| Sun, 15 Feb 2009 12:33:41 -0500 |
Adam Chlipala |
Initial parsing of RPC results |
| 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 |
| Fri, 16 Jan 2009 15:49:10 -0500 |
Adam Chlipala |
dlist example working |
| Tue, 13 Jan 2009 15:17:11 -0500 |
Adam Chlipala |
Initial experiments with nested <dyn> |
| Thu, 08 Jan 2009 10:30:14 -0500 |
Adam Chlipala |
Injected a non-special-case datatype |
| Thu, 08 Jan 2009 10:15:45 -0500 |
Adam Chlipala |
Injected a polymorphic, recursive type |
| Thu, 08 Jan 2009 09:57:45 -0500 |
Adam Chlipala |
Injected an enumeration |
| Fri, 02 Jan 2009 13:03:22 -0500 |
Adam Chlipala |
Injected an option |
| Fri, 02 Jan 2009 12:42:39 -0500 |
Adam Chlipala |
Injected a record |
| Thu, 01 Jan 2009 16:11:42 -0500 |
Adam Chlipala |
Injecting strings and bools |
| Thu, 01 Jan 2009 15:59:02 -0500 |
Adam Chlipala |
Injecting a float |
| Thu, 01 Jan 2009 15:11:17 -0500 |
Adam Chlipala |
Injecting an int |
| Thu, 01 Jan 2009 11:58:00 -0500 |
Adam Chlipala |
Included a recursive function in JavaScript |
| Thu, 01 Jan 2009 11:26:34 -0500 |
Adam Chlipala |
Basic datatype reactives |
| Thu, 01 Jan 2009 11:16:57 -0500 |
Adam Chlipala |
Reactive if |
| Thu, 01 Jan 2009 11:13:08 -0500 |
Adam Chlipala |
Reactive bool |
| Thu, 01 Jan 2009 11:04:09 -0500 |
Adam Chlipala |
Reactive record pattern |
| Thu, 01 Jan 2009 10:49:42 -0500 |
Adam Chlipala |
Used an option as a source |
| Thu, 01 Jan 2009 10:18:20 -0500 |
Adam Chlipala |
Reactive computation with more base types and records |
| Thu, 01 Jan 2009 10:08:22 -0500 |
Adam Chlipala |
Source containing an int |
| 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 |
