summaryrefslogtreecommitdiff
path: root/tests/cst.ur
Commit message (Expand)AuthorAge
* CHECK constraintsGravatar Adam Chlipala2009-04-09
* Retry failed record summary unifications at the end, in hopes that more has b...Gravatar Adam Chlipala2009-04-09
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...Gravatar Adam Chlipala2009-04-07
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07