Sun, 31 May 2009 13:43:02 -0400 |
Adam Chlipala |
Fix pathmap bug; expose lower-level heap manipulation from C |
Sun, 31 May 2009 12:41:34 -0400 |
Adam Chlipala |
strcspn and friends |
Sat, 30 May 2009 13:29:00 -0400 |
Adam Chlipala |
Substring functions; fix a nasty MonoReduce pattern match substitution bug |
Sat, 30 May 2009 09:59:10 -0400 |
Adam Chlipala |
String.length |
Tue, 26 May 2009 12:25:06 -0400 |
Adam Chlipala |
Chars and more string operations |
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 |
Sat, 02 May 2009 18:46:00 -0400 |
Adam Chlipala |
Update FFI type of Basis.self |
Sat, 02 May 2009 18:41:21 -0400 |
Adam Chlipala |
FFI transactionals |
Sat, 02 May 2009 18:20:15 -0400 |
Adam Chlipala |
Runtime URL and MIME type filtering |
Thu, 30 Apr 2009 17:15:14 -0400 |
Adam Chlipala |
C FFI compiler options |
Thu, 30 Apr 2009 13:47:46 -0400 |
Adam Chlipala |
subforms working |
Tue, 28 Apr 2009 17:26:53 -0400 |
Adam Chlipala |
Subforms |
Sun, 26 Apr 2009 11:07:25 -0400 |
Adam Chlipala |
blobSize |
Sun, 26 Apr 2009 10:45:59 -0400 |
Adam Chlipala |
Reading blobs from the database |
Sun, 26 Apr 2009 09:02:17 -0400 |
Adam Chlipala |
Returning a blob as page result |
Sat, 25 Apr 2009 14:47:16 -0400 |
Adam Chlipala |
Add MIME type to file |
Sat, 25 Apr 2009 14:35:49 -0400 |
Adam Chlipala |
Only allow single-file upload per control |
Sat, 25 Apr 2009 13:59:11 -0400 |
Adam Chlipala |
Initial support for blobs and upload |
Thu, 23 Apr 2009 16:13:02 -0400 |
Adam Chlipala |
Cookie signatures for RPCs |
Thu, 16 Apr 2009 19:12:12 -0400 |
Adam Chlipala |
Cookie signing working for forms |
Sun, 12 Apr 2009 14:19:15 -0400 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
Thu, 09 Apr 2009 16:36:50 -0400 |
Adam Chlipala |
URLs |
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 |
Thu, 02 Apr 2009 11:42:26 -0400 |
Adam Chlipala |
On start-up, delete/nullify rows mentioning clients or channels |
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 18:26:50 -0400 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
Thu, 26 Mar 2009 16:22:34 -0400 |
Adam Chlipala |
Preliminary work supporting channels in databases |