log src/core_util.sig

age author description
2010-03-16 Adam Chlipala Undo an Especialize change that turned out to be unecessary
2009-03-28 Adam Chlipala Marshalcheck
2009-02-22 Adam Chlipala demo/hello compiles with kind polymorphism
2008-11-27 Adam Chlipala Avoid Especializing polymorphic code
2008-11-11 Adam Chlipala Get preliminary ThreadedBlog working
2008-11-09 Adam Chlipala Defunctionalization gets CommentBlog working
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass
2008-11-08 Adam Chlipala Broaden set of possible especializations
2008-10-30 Adam Chlipala Especialize
2008-08-09 Adam Chlipala 'Option' datatype encoding
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-08-03 Adam Chlipala Datatype representation optimization
2008-08-03 Adam Chlipala Cases through monoize
2008-07-13 Adam Chlipala Starting with closure links
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-06-08 Adam Chlipala Tree-shaking
2008-06-08 Adam Chlipala Beta reductions for expressions
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Conversion to Core