Thu, 23 Apr 2009 14:10:10 -0400 |
Adam Chlipala |
Only use cookie signatures when cookies might be read |
Thu, 16 Apr 2009 19:12:12 -0400 |
Adam Chlipala |
Cookie signing working for forms |
Thu, 16 Apr 2009 14:49:25 -0400 |
Adam Chlipala |
Label exported symbols by effect-ness; factor out some common datatypes |
Thu, 16 Apr 2009 12:07:21 -0400 |
Adam Chlipala |
Catching duplicate cookie and style paths |
Sun, 12 Apr 2009 12:31:54 -0400 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
Sun, 12 Apr 2009 10:08:11 -0400 |
Adam Chlipala |
style declarations |
Tue, 07 Apr 2009 16:14:31 -0400 |
Adam Chlipala |
PRIMARY KEY |
Tue, 07 Apr 2009 12:24:31 -0400 |
Adam Chlipala |
UNIQUE constraints |
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 |
Thu, 02 Apr 2009 13:31:13 -0400 |
Adam Chlipala |
Detect serialization failures |
Thu, 02 Apr 2009 11:42:26 -0400 |
Adam Chlipala |
On start-up, delete/nullify rows mentioning clients or channels |
Sun, 29 Mar 2009 14:13:50 -0400 |
Adam Chlipala |
Expunging nullable fields |
Sun, 29 Mar 2009 13:30:01 -0400 |
Adam Chlipala |
Expunging non-nullable rows |
Sun, 29 Mar 2009 11:37:29 -0400 |
Adam Chlipala |
Redo channels, making them single-client |
Thu, 26 Mar 2009 16:22:34 -0400 |
Adam Chlipala |
Preliminary work supporting channels in databases |
Tue, 24 Mar 2009 15:35:46 -0400 |
Adam Chlipala |
Variable timeouts and client keep-alive |
Thu, 19 Mar 2009 16:34:13 -0400 |
Adam Chlipala |
Dummy message delivery to clients |
Tue, 10 Mar 2009 11:18:01 -0400 |
Adam Chlipala |
React demo |
Tue, 10 Mar 2009 10:44:26 -0400 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
Sun, 08 Mar 2009 13:41:55 -0400 |
Adam Chlipala |
RPC returning an option |
Sun, 08 Mar 2009 13:28:21 -0400 |
Adam Chlipala |
RPC returning a default datatype |
Sun, 08 Mar 2009 12:54:07 -0400 |
Adam Chlipala |
RPC returning an option datatype |
Sun, 08 Mar 2009 12:37:42 -0400 |
Adam Chlipala |
RPC returning an enumeration |
Sun, 15 Feb 2009 12:33:41 -0500 |
Adam Chlipala |
Initial parsing of RPC results |
Sun, 15 Feb 2009 11:24:16 -0500 |
Adam Chlipala |
Avoid extra slashes in Cjr urlification |
Sun, 15 Feb 2009 10:54:00 -0500 |
Adam Chlipala |
Reading and displaying value via AJAX |
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 |
Sun, 11 Jan 2009 10:22:19 -0500 |
Adam Chlipala |
Use header to set default script type |
Sat, 20 Dec 2008 16:19:26 -0500 |
Adam Chlipala |
Successfully generated a page element from a signal |
Tue, 11 Nov 2008 19:20:37 -0500 |
Adam Chlipala |
Add CutMulti |
Tue, 11 Nov 2008 18:39:38 -0500 |
Adam Chlipala |
Handle nullary transaction pages; avoid marking up headers array when reading cookies |
Tue, 11 Nov 2008 16:51:45 -0500 |
Adam Chlipala |
Fix demo regression |
Sun, 09 Nov 2008 18:19:47 -0500 |
Adam Chlipala |
Remove some allocation |
Sat, 08 Nov 2008 12:12:50 -0500 |
Adam Chlipala |
Handle EError returning a function; handle multiple cookies in one input header |
Thu, 06 Nov 2008 19:43:48 -0500 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
Thu, 06 Nov 2008 18:49:38 -0500 |
Adam Chlipala |
Tree demo works |
Thu, 06 Nov 2008 15:52:13 -0500 |
Adam Chlipala |
Ensql'ing nullables |
Thu, 06 Nov 2008 15:37:38 -0500 |
Adam Chlipala |
Inserted a NULL value |
Thu, 06 Nov 2008 12:08:41 -0500 |
Adam Chlipala |
Reading cookies works |
Thu, 30 Oct 2008 15:11:37 -0400 |
Adam Chlipala |
Marshaling time to SQL |
Thu, 30 Oct 2008 14:57:15 -0400 |
Adam Chlipala |
Reading timestamps from SQL |
Mon, 27 Oct 2008 08:16:19 -0400 |
Adam Chlipala |
Switch exit(1) call to uw_error() |
Sun, 26 Oct 2008 08:41:17 -0400 |
Adam Chlipala |
Avoid using libpq when unneeded |
Fri, 24 Oct 2008 17:30:07 -0400 |
Adam Chlipala |
Properly freeing libpq results on errors |
Fri, 24 Oct 2008 16:47:18 -0400 |
Adam Chlipala |
Transactions seem to be working |
Thu, 23 Oct 2008 14:03:12 -0400 |
Adam Chlipala |
Metaform demos, minus prose |
Tue, 21 Oct 2008 15:11:42 -0400 |
Adam Chlipala |
Recursive unurlify for Default datatypes |