index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
especialize.sml
Commit message (
Expand
)
Author
Age
*
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
*
Revert last changeset for now; needs more thought
Adam Chlipala
2012-08-05
*
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
*
Be more conservative in choosing candidates for Especialize, re: mutual recur...
Adam Chlipala
2012-05-17
*
-dumpSource flag; Especialize tweak: may specialize any argument sequence end...
Adam Chlipala
2012-01-12
*
Small fix to previous commit
Adam Chlipala
2012-01-11
*
New, more principled heuristic for Especialize: only specialize uniform funct...
Adam Chlipala
2012-01-11
*
Tweak Especialize heuristic
Adam Chlipala
2012-01-11
*
Tweak Especialize heuristic to prevent non-termination
Adam Chlipala
2012-01-09
*
First part of changes to avoid depending on C function call argument order of...
Adam Chlipala
2012-01-07
*
Expand valueish again
Adam Chlipala
2011-01-06
*
Broaden definition of valueish
Adam Chlipala
2011-01-06
*
Add an extra Especialize pass before Rpcify
Adam Chlipala
2010-12-24
*
Hopeful fix to stop Especialize infinite looping
Adam Chlipala
2010-12-21
*
Fixes for nasty bugs in Reduce and Especialize
Adam Chlipala
2010-10-19
*
Reduce: Inline let-bound variables whose types involve functions
Adam Chlipala
2010-08-22
*
Some serious bug-fix work to get HTML example to compile; this includes fixin...
Adam Chlipala
2010-06-03
*
Undo an Especialize change that turned out to be unecessary
Adam Chlipala
2010-03-16
*
Got split1 working, but noticed a nasty type inference bug with transplanted ...
Adam Chlipala
2010-03-06
*
Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly
Adam Chlipala
2010-03-06
*
Basis.debug; more restrictive type for Basis.form; weaken definition of polym...
Adam Chlipala
2010-01-07
*
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; ...
Adam Chlipala
2009-12-23
*
Another try at reasonable Especialize, this time with a custom traversal
Adam Chlipala
2009-12-20
*
Especialize uses a termination measure based on number of arguments introduced
Adam Chlipala
2009-12-15
*
Fix new Especialize security bug: do not duplicate free variables as speciali...
Adam Chlipala
2009-12-15
*
Initial generalization of Especialize, with security bug known
Adam Chlipala
2009-12-15
*
Change List.mapM' to avoid leaving functions around
Adam Chlipala
2009-05-21
*
Fix a Core_untangle bug that missed closure variable references; XHTMLize
Adam Chlipala
2009-05-16
*
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Adam Chlipala
2009-05-14
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14
*
Classes as optional arguments to Basis.tag
Adam Chlipala
2009-04-12
*
demo/hello compiles with kind polymorphism
Adam Chlipala
2009-02-22
*
Avoid Especializing polymorphic code
Adam Chlipala
2008-11-27
*
Ditch use of ElabEnv.env in Especialize, to realize big speed-up
Adam Chlipala
2008-11-27
*
Untangle and shake within Especialize loop
Adam Chlipala
2008-11-27
*
Get preliminary ThreadedBlog working
Adam Chlipala
2008-11-11
*
Get threadedBlog to work
Adam Chlipala
2008-11-11
*
Prevent overzealous Especialization
Adam Chlipala
2008-11-09
*
Remove an extra line
Adam Chlipala
2008-11-09
*
Especialize working reasonably well; need to add new closure representation pass
Adam Chlipala
2008-11-09
*
Especialize handles records better
Adam Chlipala
2008-11-08
*
Broaden set of possible especializations
Adam Chlipala
2008-11-08
*
About to begin optimization of recursive transaction functions
Adam Chlipala
2008-11-06
*
Almost have that nested save function compiling
Adam Chlipala
2008-11-01
*
Remove _espec tag; add some tag fields
Adam Chlipala
2008-10-30
*
Especialize
Adam Chlipala
2008-10-30