Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge CDisjoint and TDisjoint | 2008-10-04 | |
| | |||
* | Name disjointness check changed to case insensitive | 2008-09-13 | |
| | |||
* | queryX | 2008-09-13 | |
| | |||
* | Crud list works | 2008-09-11 | |
| | |||
* | Monoize transaction identifiers; improve disjointness prover on irreducible ↵ | 2008-08-31 | |
| | | | | folds; change 'query' type | ||
* | Non-star SELECT | 2008-08-14 | |
| | |||
* | Fancier head normalization pushed inside of Disjoint | 2008-07-03 | |
| | |||
* | Constraints in modules | 2008-07-01 | |
| | |||
* | Disjointness assumptions | 2008-07-01 | |
| | |||
* | Threading disjointness conditions through Elaborate | 2008-07-01 | |
| | |||
* | Initial disjointness prover | 2008-07-01 | |