2010-06-03 |
Adam Chlipala |
Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize |
2010-03-16 |
Adam Chlipala |
Undo an Especialize change that turned out to be unecessary |
2010-03-07 |
Adam Chlipala |
Got split1 working, but noticed a nasty type inference bug with transplanted unification variables |
2010-03-06 |
Adam Chlipala |
Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly |
2010-01-07 |
Adam Chlipala |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization |
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 |