log src/jscomp.sml

age author description
Sat, 05 Dec 2015 12:04:06 -0500 Adam Chlipala New .urp directive: jsFile
Sun, 01 Feb 2015 12:29:14 -0500 Adam Chlipala A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation
Fri, 01 Aug 2014 15:44:17 -0400 Adam Chlipala Differentiate between HTML and normal string literals
Mon, 17 Mar 2014 16:52:10 -0400 Adam Chlipala -explainEmbed
Wed, 11 Dec 2013 18:22:10 -0500 Adam Chlipala Change handling of returned text blobs, to activate the normal EWrite optimizations
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
Mon, 01 Apr 2013 10:13:49 -0400 Adam Chlipala Change Name_js to skip code snippets that depend on the CSRF-protection signature