log src/especialize.sml

age author description
2013-08-10 Adam Chlipala Expand coverage of 'functionInside' for Especialize
2013-08-09 Adam Chlipala Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types
2013-04-16 Adam Chlipala Basis.tryRpc
2012-08-05 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
2012-08-05 Adam Chlipala Revert last changeset for now; needs more thought
2012-08-05 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
2012-05-17 Adam Chlipala Be more conservative in choosing candidates for Especialize, re: mutual recursion
2012-01-13 Adam Chlipala -dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type
2012-01-11 Adam Chlipala Small fix to previous commit
2012-01-11 Adam Chlipala New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls
2012-01-11 Adam Chlipala Tweak Especialize heuristic
2012-01-09 Adam Chlipala Tweak Especialize heuristic to prevent non-termination
2012-01-07 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
2011-01-06 Adam Chlipala Expand valueish again
2011-01-06 Adam Chlipala Broaden definition of valueish
2010-12-24 Adam Chlipala Add an extra Especialize pass before Rpcify
2010-12-21 Adam Chlipala Hopeful fix to stop Especialize infinite looping
2010-10-19 Adam Chlipala Fixes for nasty bugs in Reduce and Especialize
2010-08-22 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
2010-06-03 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
2010-03-16 Adam Chlipala Undo an Especialize change that turned out to be unecessary
2010-03-07 Adam Chlipala Got split1 working, but noticed a nasty type inference bug with transplanted unification variables
2010-03-06 Adam Chlipala Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly
2010-01-07 Adam Chlipala Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
2009-12-23 Adam Chlipala Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional()
2009-12-20 Adam Chlipala Another try at reasonable Especialize, this time with a custom traversal
2009-12-16 Adam Chlipala Especialize uses a termination measure based on number of arguments introduced
2009-12-15 Adam Chlipala Fix new Especialize security bug: do not duplicate free variables as specialized arguments
2009-12-15 Adam Chlipala Initial generalization of Especialize, with security bug known
2009-05-21 Adam Chlipala Change List.mapM' to avoid leaving functions around
2009-05-16 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize
2009-05-14 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
2009-05-14 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
2009-04-12 Adam Chlipala Classes as optional arguments to Basis.tag
2009-02-22 Adam Chlipala demo/hello compiles with kind polymorphism
2008-11-27 Adam Chlipala Avoid Especializing polymorphic code
2008-11-27 Adam Chlipala Ditch use of ElabEnv.env in Especialize, to realize big speed-up
2008-11-27 Adam Chlipala Untangle and shake within Especialize loop
2008-11-11 Adam Chlipala Get preliminary ThreadedBlog working
2008-11-11 Adam Chlipala Get threadedBlog to work
2008-11-09 Adam Chlipala Prevent overzealous Especialization
2008-11-09 Adam Chlipala Remove an extra line
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass
2008-11-08 Adam Chlipala Especialize handles records better
2008-11-08 Adam Chlipala Broaden set of possible especializations
2008-11-06 Adam Chlipala About to begin optimization of recursive transaction functions
2008-11-02 Adam Chlipala Almost have that nested save function compiling
2008-10-30 Adam Chlipala Remove _espec tag; add some tag fields
2008-10-30 Adam Chlipala Especialize