log src/cjr_print.sml

age author description
Fri, 24 Jun 2011 13:50:59 -0400 Adam Chlipala 'noXsrfProtection' .urp directive
Sun, 29 May 2011 14:29:26 -0400 Adam Chlipala getHeader and setHeader
Fri, 06 May 2011 20:51:40 -0430 Karn Kallio Include type attribute in script tag for generating valid XHTML.
Sun, 17 Apr 2011 13:43:00 -0400 Adam Chlipala Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler
Sat, 09 Apr 2011 14:36:47 -0400 Adam Chlipala Each context gets its own non-repeating sequence of source numbers
Sun, 20 Mar 2011 13:15:11 -0400 Adam Chlipala Fix C compilation of empty records; use DESTDIR in 'make install/uninstall'
Thu, 10 Mar 2011 18:51:15 -0500 Adam Chlipala Represent 'unit' as C 'int'; change pattern match compilation to avoid 'goto'; change Postgres prepared statement compilation to make life easier for the GCC escape analysis; all this in support of better tail call optimization
Thu, 20 Jan 2011 15:11:45 -0500 Adam Chlipala Some fixes for tasks and onError handlers
Thu, 13 Jan 2011 13:02:45 -0500 Adam Chlipala Infer more regions, for sequencing constructs
Thu, 06 Jan 2011 12:49:14 -0500 Adam Chlipala Ignore unknown names in query string name-value pairs; allow any side effects by Extern URLs, without signature checking
Thu, 06 Jan 2011 09:14:06 -0500 Adam Chlipala Detect missing 'database' directive; don't compile garbage C files
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