search

uwdb / Cosette

Cosette is an automated SQL solver.
BSD 2-Clause "Simplified" License
666 stars 54 forks source link

Rosette support of Aggregation on Group By columns #49

Closed stechu closed 7 years ago

stechu commented 7 years ago

see https://github.com/uwdb/Cosette/blob/master/rosette/tests/denotation-test.rkt#L109

stechu commented 7 years ago

fixed by @Mestway