Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Especialize uses a termination measure based on number of arguments introduced | 2009-12-15 | |
* | Fix new Especialize security bug: do not duplicate free variables as speciali... | 2009-12-15 | |
* | Effectness analysis | 2009-04-16 | |
* | Use FOREIGN KEY in Tree demo | 2009-04-09 | |
* | Add primary keys to demo | 2009-04-07 | |
* | Tree demo working (and other assorted regressions fixed) | 2008-11-06 | |
* | About to begin optimization of recursive transaction functions | 2008-11-06 |