log src/compiler.sml

age author description
Sun, 22 Feb 2009 16:33:55 -0500 Adam Chlipala Turned off termination checking, for now
Sat, 14 Feb 2009 14:07:56 -0500 Adam Chlipala Start of RPCification
Tue, 13 Jan 2009 15:17:11 -0500 Adam Chlipala Initial experiments with nested <dyn>
Sun, 21 Dec 2008 12:30:57 -0500 Adam Chlipala Handling singnal bind
Sat, 20 Dec 2008 14:19:21 -0500 Adam Chlipala Start of JsComp
Thu, 27 Nov 2008 10:46:45 -0500 Adam Chlipala Stop using redundant Defunc pass
Tue, 25 Nov 2008 10:05:44 -0500 Adam Chlipala Fusing writes with recursive function calls