log src/especialize.sml

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