Support Having - Githubissues

uwdb / Cosette

Cosette is an automated SQL solver.

BSD 2-Clause "Simplified" License

666 stars 54 forks source link

Closed stechu closed 7 years ago

stechu commented 7 years ago

Support Having Clause:

[x] add Having to Cosette AST
[x] Coq code generation: convert Having by nested query and put the predicate of Having in outer query's where clause
[x] Rosette code generation: using the new general group by interface.