log demo/tree.ur

age author description
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-04-16 Adam Chlipala Effectness analysis
2009-04-09 Adam Chlipala Use FOREIGN KEY in Tree demo
2009-04-07 Adam Chlipala Add primary keys to demo
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-11-06 Adam Chlipala About to begin optimization of recursive transaction functions