Mercurial > urweb
log src/mono_reduce.sml
| age | author | description |
|---|---|---|
| Sat, 13 Jun 2009 15:42:24 -0400 | Adam Chlipala | Fix MonoReduce unsoundness with lets and fns |
| Sat, 30 May 2009 13:29:00 -0400 | Adam Chlipala | Substring functions; fix a nasty MonoReduce pattern match substitution bug |
| Thu, 28 May 2009 13:47:05 -0400 | Adam Chlipala | Fix variable adjustment bug in fn/case alternation |
| Sun, 17 May 2009 18:41:43 -0400 | Adam Chlipala | Redo Jscomp |
| Sun, 17 May 2009 14:36:55 -0400 | Adam Chlipala | Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce |
| Thu, 14 May 2009 18:13:09 -0400 | Adam Chlipala | Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp |
| Thu, 14 May 2009 13:18:31 -0400 | Adam Chlipala | Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
| Sat, 02 May 2009 11:27:26 -0400 | Adam Chlipala | Successfully influenced effectful-ness status of FFI func |