| Sun, 07 Jun 2009 16:45:00 -0400 |
Adam Chlipala |
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff |
| 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 |
| Tue, 12 May 2009 18:02:25 -0400 |
Adam Chlipala |
Improvements while working on Graftid |
| 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 14:43:55 -0400 |
Adam Chlipala |
Megaform test |
| 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 |
| Sun, 05 Apr 2009 12:05:19 -0400 |
Adam Chlipala |
Initialize contexts a little more vigorously |
| Sun, 05 Apr 2009 11:24:55 -0400 |
Adam Chlipala |
RoundTrip demo |
| Sun, 05 Apr 2009 09:26:00 -0400 |
Adam Chlipala |
Avoid generating empty <script> blocks |
| 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 13:48:59 -0400 |
Adam Chlipala |
Make sure only one pull request runs at a time for each client |
| Thu, 02 Apr 2009 11:42:26 -0400 |
Adam Chlipala |
On start-up, delete/nullify rows mentioning clients or channels |
| Thu, 02 Apr 2009 10:55:00 -0400 |
Adam Chlipala |
Stop holding client locks throughout request processing |
| 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 |
| Sat, 28 Mar 2009 11:15:42 -0400 |
Adam Chlipala |
Switch back to starting listener on load |
| 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 |
| Tue, 24 Mar 2009 15:35:46 -0400 |
Adam Chlipala |
Variable timeouts and client keep-alive |
| Tue, 24 Mar 2009 15:05:28 -0400 |
Adam Chlipala |
Fix some AJAX annoyances |
| Tue, 24 Mar 2009 14:44:45 -0400 |
Adam Chlipala |
Transactionalize channel operations |
| Sun, 22 Mar 2009 15:16:34 -0400 |
Adam Chlipala |
Press a button to send a message |
| Sun, 22 Mar 2009 15:05:07 -0400 |
Adam Chlipala |
First message send delivered, but not interpreted |
| Thu, 19 Mar 2009 16:34:13 -0400 |
Adam Chlipala |
Dummy message delivery to clients |
| Thu, 19 Mar 2009 13:47:02 -0400 |
Adam Chlipala |
Factor out some common buffer functionality |
| 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, 11 Jan 2009 10:22:19 -0500 |
Adam Chlipala |
Use header to set default script type |
| Thu, 01 Jan 2009 15:59:02 -0500 |
Adam Chlipala |
Injecting a float |
| 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 |
| 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 |
| Fri, 19 Dec 2008 09:35:44 -0500 |
Adam Chlipala |
Add initial C support for reactive |
| Tue, 11 Nov 2008 19:20:37 -0500 |
Adam Chlipala |
Add CutMulti |
| Tue, 11 Nov 2008 15:12:24 -0500 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
| Sat, 08 Nov 2008 12:12:50 -0500 |
Adam Chlipala |
Handle EError returning a function; handle multiple cookies in one input header |
| Sat, 08 Nov 2008 10:46:14 -0500 |
Adam Chlipala |
[getCookie] reads cookie settings from current page generation |
| Thu, 06 Nov 2008 18:49:38 -0500 |
Adam Chlipala |
Tree demo works |
