log src/cjrize.sml

age author description
Mon, 21 Sep 2015 16:45:59 -0400 Ziv Scully Use new refactored urlification in Sqlcache.
Mon, 21 Sep 2015 10:16:55 -0400 Ziv Scully Revert to revision 2222.
Sun, 13 Sep 2015 17:02:17 -0400 Ziv Scully Make Mono.file a record for readability upon extension.
Sat, 29 Nov 2014 03:37:59 -0500 Ziv Scully Basic field-resolution invalidation.
Sun, 17 Aug 2014 13:07:56 -0400 Adam Chlipala New phase: Dbmodecheck
Fri, 01 Aug 2014 15:44:17 -0400 Adam Chlipala Differentiate between HTML and normal string literals
Wed, 11 Dec 2013 18:22:10 -0500 Adam Chlipala Change handling of returned text blobs, to activate the normal EWrite optimizations
Fri, 15 Mar 2013 16:09:55 -0400 Adam Chlipala Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
Sun, 16 Sep 2012 08:31:54 -0400 Adam Chlipala Better error message about signals remaining in server-side code
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)
Sat, 19 Nov 2011 10:26:19 -0500 Adam Chlipala Better error messages when client-side constructs are detected in Cjrize
Sat, 09 Apr 2011 14:36:47 -0400 Adam Chlipala Each context gets its own non-repeating sequence of source numbers
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
Tue, 19 Oct 2010 17:54:49 -0400 Adam Chlipala Fixes for nasty bugs in Reduce and Especialize
Tue, 07 Sep 2010 08:28:07 -0400 Adam Chlipala Server-side 'onError'
Sun, 05 Sep 2010 14:00:57 -0400 Adam Chlipala tryDml
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Sun, 03 Jan 2010 12:47:27 -0500 Adam Chlipala Proper C-side deserialization; Shake.sliceDb
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
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
Sun, 25 Oct 2009 15:29:21 -0400 Adam Chlipala Use call/cc for recv and sleep
Tue, 06 Oct 2009 15:39:27 -0400 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
Sun, 09 Aug 2009 16:13:27 -0400 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
Sun, 17 May 2009 18:41:43 -0400 Adam Chlipala Redo Jscomp
Sat, 16 May 2009 16:02:17 -0400 Adam Chlipala Mutual datatypes through Cjrize
Sat, 16 May 2009 15:55:15 -0400 Adam Chlipala Mutual datatypes through Pathcheck