log src/mono_reduce.sml

age author description
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