log src/jscomp.sml

age author description
Mon, 28 Mar 2011 10:37:49 -0400 Adam Chlipala To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
Thu, 10 Mar 2011 20:22:03 -0500 Adam Chlipala Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
Tue, 08 Feb 2011 16:54:01 -0500 Adam Chlipala Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript
Thu, 20 Jan 2011 10:40:40 -0500 Adam Chlipala Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
Thu, 06 Jan 2011 14:25:42 -0500 Adam Chlipala Client-side redirects
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
Fri, 26 Nov 2010 11:57:04 -0500 Adam Chlipala Fix JavaScript unit unurlification; URL blessing client-side