log src/cjr_print.sml

age author description
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