log src/cjr_print.sml

age author description
Mon, 30 Sep 2013 16:37:37 -0400 Adam Chlipala Detect more SQL uses without 'database' directive
Wed, 12 Sep 2012 19:49:02 +0400 Vladimir Shabanov Fixed HTTP date format and added Cache-Control to app.js
Thu, 02 Aug 2012 16:33:25 -0400 Adam Chlipala Basis.getenv
Wed, 18 Jul 2012 17:29:13 -0400 Adam Chlipala Support fancy expressions in module-level 'val' declarations
Sun, 06 May 2012 12:37:43 -0400 Adam Chlipala Fix from Edward Yang to generation of 404 errors in FastCGI
Wed, 02 May 2012 17:17:57 -0400 Edward Z. Yang Add support for -boot flag, which allows in-tree execution of Ur/Web
Sat, 28 Apr 2012 12:00:35 -0400 Adam Chlipala Include JavaScript files properly in error handler pages
Sat, 10 Mar 2012 12:53:33 -0500 Adam Chlipala Change <radio> to yield [option string]
Sat, 03 Mar 2012 16:41:20 -0500 Adam Chlipala Avoid URL size limit in RPCs with large arguments
Sat, 07 Jan 2012 16:49:19 -0500 Adam Chlipala Finish function argument order-of-operations fix
Sat, 07 Jan 2012 15:56:22 -0500 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
Mon, 02 Jan 2012 17:08:39 -0500 Adam Chlipala Fix handling of quotes in generating C literals
Sat, 17 Dec 2011 09:24:31 -0500 Adam Chlipala Fix C-side unurlification of unboxable Option datatypes
Sun, 04 Dec 2011 14:40:12 -0500 Adam Chlipala timeFormat .urp directive
Sat, 03 Dec 2011 15:59:21 -0500 Adam Chlipala Better error messages about non-SQL-izability of types
Sat, 03 Dec 2011 09:44:07 -0500 Adam Chlipala Catching integer divisions by zero
Fri, 25 Nov 2011 16:30:34 -0500 Adam Chlipala Fix server-side urlification of custom Option types
Wed, 16 Nov 2011 13:51:22 -0430 Karn Kallio Include character encoding in HTTP response headers.
Sun, 21 Aug 2011 13:41:57 -0400 Adam Chlipala Fix another list unurlification segfault bug; List.foldlMi
Sun, 21 Aug 2011 10:55:31 -0400 Adam Chlipala Add prototypes for [un]urlification functions
Sun, 21 Aug 2011 10:39:19 -0400 Adam Chlipala Fix crash in list unurlification
Fri, 19 Aug 2011 08:59:01 -0400 Adam Chlipala Add timestamps to 'app.js' filenames, to prevent inappropriate caching by browsers
Sun, 14 Aug 2011 16:46:36 -0400 Adam Chlipala Fix list urlification
Tue, 02 Aug 2011 17:04:14 -0400 Adam Chlipala Compile self-tail-calls as gotos
Sat, 23 Jul 2011 16:27:04 -0400 Adam Chlipala A few more tweaks to support Clang (including ending use of nested functions)
Tue, 19 Jul 2011 09:18:50 -0400 Adam Chlipala Change cookie signature comparison to resist timing attacks (based on code suggested by Robin Green and Austin Seipp)
Sun, 03 Jul 2011 12:40:00 -0400 Adam Chlipala For non-debug builds, leave out source location info in what is shown to user
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