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