log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/core_util.sig
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
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
less
more
|
(0)
tip