Giters
uwdb
/
Cosette
Cosette is an automated SQL solver.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
660
Watchers:
43
Issues:
71
Forks:
54
uwdb/Cosette Issues
Integrity Constraint Support
Closed
4 months ago
Comments count
1
What's the status of the project?
Updated
3 years ago
Comments count
2
Update docs to include how to set up Cosette locally
Closed
3 years ago
Comments count
1
count(*) should be different from count(column)
Updated
3 years ago
EXISTS with subquery runs into out of time
Updated
5 years ago
Comments count
1
Multiple INNER JOIN clauses: runs into out of time
Updated
5 years ago
COUNT usage leads to error: Invalid generated Coq code
Updated
5 years ago
Comments count
1
Strings with dots result in "Invalid generated Coq file"
Updated
5 years ago
Test on demo website runs into out of time
Updated
5 years ago
Comments count
2
Simple WHERE test not possible
Closed
5 years ago
Comments count
1
Can not successfully run Cosette tests
Closed
5 years ago
Comments count
3
Basic `select distinct` program - Coq and Rosette executions don't agree
Updated
5 years ago
Invalid Cosette program yields invalid Coq code
Updated
5 years ago
Equivalence check for DISTINCT UNION ALL of disjoint sets yields invalid Coq code
Updated
5 years ago
Equivalent queries with conditions on a date column generate invalid Coq code
Updated
5 years ago
README.md links are broken
Closed
7 years ago
Comments count
2
Feature request: Avoid useless repetition in counter examples
Updated
5 years ago
Feature request: result of counter examples
Updated
5 years ago
Help, throw an exception when parsing
Closed
5 years ago
Comments count
1
Cosette freezes (different from #63)
Closed
5 years ago
Comments count
1
Broken FrontendDockerfile
Closed
5 years ago
Comments count
1
support AVG
Closed
6 years ago
Comments count
2
Do you have document on how to use Cosette with Calcite RelNode in Java?
Updated
6 years ago
Comments count
1
Building hott for Coq results in "Unable to satisfy the following constraints" error
Closed
6 years ago
Comments count
1
Feature request: EXISTS, IN
Updated
6 years ago
Comments count
1
racket error returned
Closed
6 years ago
Comments count
2
Merge Meta Solver to the upstream
Closed
6 years ago
EXISTS Freezes
Updated
6 years ago
Comments count
1
Invalid Coq generated
Closed
6 years ago
Comments count
2
Supporting general group by
Closed
6 years ago
Comments count
1
Can't verify queries with const expr
Updated
7 years ago
Comments count
3
Feature request: Not Exists
Updated
7 years ago
Feature request: In/Not In
Updated
7 years ago
Exactly Equal Queries Time out
Updated
7 years ago
Comments count
1
incorrect coq code gen when constant in aggregate expr
Closed
7 years ago
support string literal
Closed
7 years ago
Invalid generated Coq code when subquery contains predicate
Updated
7 years ago
Comments count
2
show some better description of the coq tactic used
Closed
7 years ago
Support features that are used in 344 Homework and Calcite
Closed
7 years ago
Comments count
1
Coq code generation bug when aggregate without group by
Closed
7 years ago
Comments count
1
Rosette support of Aggregation on Group By columns
Closed
7 years ago
Comments count
1
Support Left Outer Join in the parser
Updated
7 years ago
Comments count
1
Table name and attributes should be case insensitive
Closed
7 years ago
Update to Racket 6.9
Closed
7 years ago
Comments count
2
Front End Bug
Closed
7 years ago
CTE support
Updated
7 years ago
Comments count
3
LICENSE file
Closed
7 years ago
Comments count
1
Better proof search for query with union
Updated
7 years ago
potential bug with union?
Closed
7 years ago
Comments count
7
Query cause coq code generation error
Closed
7 years ago
Comments count
2
Previous
Next