log src/especialize.sml

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