log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/mono_reduce.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-30
-10
-8
tip
age
author
description
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
Wed, 19 Sep 2012 18:01:22 -0400
Adam Chlipala
Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level
Fri, 14 Sep 2012 07:35:48 -0400
Adam Chlipala
Reduce default inlining thresholds; improve a let-substitution optimization to compensate
Sun, 05 Aug 2012 14:55:28 -0400
Adam Chlipala
Tweaking treatment of function application: substitute or introduce a 'let'?
Sun, 05 Aug 2012 17:11:39 -0400
Adam Chlipala
Revert last changeset for now; needs more thought
Sun, 05 Aug 2012 14:55:28 -0400
Adam Chlipala
Tweaking treatment of function application: substitute or introduce a 'let'?
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)
Wed, 06 Jul 2011 18:54:23 -0430
Karn Kallio
Narrow Maybe match case.
less
more
|
(0)
-30
-10
-8
tip