Sun, 26 Dec 2010 17:29:03 -0500 |
Adam Chlipala |
queryString and effectfulUrl |
Thu, 23 Dec 2010 17:46:40 -0500 |
Adam Chlipala |
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types |
Sat, 18 Dec 2010 15:17:09 -0500 |
Adam Chlipala |
Periodic tasks |
Sat, 18 Dec 2010 14:17:45 -0500 |
Adam Chlipala |
Change tasks to support parametric code; add clientLeaves |
Sat, 18 Dec 2010 10:56:31 -0500 |
Adam Chlipala |
postBody type |
Sat, 11 Dec 2010 15:16:04 -0500 |
Adam Chlipala |
minHeap option in .urp files |
Sun, 28 Nov 2010 15:06:11 -0500 |
Adam Chlipala |
More accurate/conservative leaky type detection in CjrPrint |
Sun, 21 Nov 2010 15:43:24 -0500 |
Adam Chlipala |
Fix a bug in C list unurlification |
Sat, 20 Nov 2010 09:48:03 -0500 |
Adam Chlipala |
In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line |
Thu, 14 Oct 2010 11:06:26 -0400 |
Adam Chlipala |
Interface for setting memory limits |
Thu, 09 Sep 2010 12:42:25 -0400 |
Adam Chlipala |
Support empty datatypes, which can now be generated via 'variant []' |
Tue, 07 Sep 2010 09:06:13 -0400 |
Adam Chlipala |
'tryDml' works with Postgres |
Tue, 07 Sep 2010 08:28:07 -0400 |
Adam Chlipala |
Server-side 'onError' |
Sun, 05 Sep 2010 14:00:57 -0400 |
Adam Chlipala |
tryDml |
Tue, 10 Aug 2010 15:55:43 -0400 |
Adam Chlipala |
Better UTF-8 escaping for JavaScript and SQL literals |
Sun, 23 May 2010 11:52:13 -0400 |
Adam Chlipala |
Support HTTP caching of app.js |
Sun, 16 May 2010 15:34:24 -0400 |
Adam Chlipala |
Fix C-mangling of datatype names |
Thu, 25 Feb 2010 14:55:35 -0500 |
Adam Chlipala |
Use COALESCE to hide NULL results of aggregate functions; fix bug with improper ordering of query result columns |
Thu, 11 Feb 2010 09:10:01 -0500 |
Adam Chlipala |
sigfile directive |
Sun, 03 Jan 2010 15:58:34 -0500 |
Adam Chlipala |
Deadlines |
Sun, 03 Jan 2010 12:47:27 -0500 |
Adam Chlipala |
Proper C-side deserialization; Shake.sliceDb |
Sat, 02 Jan 2010 14:54:15 -0500 |
Adam Chlipala |
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript |
Sat, 02 Jan 2010 13:31:59 -0500 |
Adam Chlipala |
Proper 404 generation |
Fri, 01 Jan 2010 12:48:06 -0500 |
Adam Chlipala |
Proper [un]urlification of unit |
Thu, 31 Dec 2009 11:41:57 -0500 |
Adam Chlipala |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
Sun, 27 Dec 2009 10:37:24 -0500 |
Adam Chlipala |
All three current protocols work with move to using uw_app |
Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
Thu, 10 Dec 2009 13:32:09 -0500 |
Adam Chlipala |
Basis.url and redirects |
Sat, 21 Nov 2009 15:48:08 -0500 |
Adam Chlipala |
Get message-passing working in IE6 |