Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / uwdb/Cosette issues and pull requests

#89 - Integrity Constraint Support

Issue - State: closed - Opened by yicun0720 5 months ago - 1 comment

#88 - Fix Dockerfile error.

Pull Request - State: open - Opened by ReinierKoops over 2 years ago

#87 - What's the status of the project?

Issue - State: open - Opened by yaitskov about 3 years ago - 2 comments

#86 - Update docs to include how to set up Cosette locally

Issue - State: closed - Opened by ReinierKoops about 3 years ago - 1 comment

#85 - count(*) should be different from count(column)

Issue - State: open - Opened by JsToCode over 3 years ago

#84 - Multiple INNER JOIN clauses: runs into out of time

Issue - State: open - Opened by matthiastz over 4 years ago

#83 - EXISTS with subquery runs into out of time

Issue - State: open - Opened by matthiastz over 4 years ago - 1 comment

#82 - COUNT usage leads to error: Invalid generated Coq code

Issue - State: open - Opened by matthiastz over 4 years ago - 1 comment

#81 - Strings with dots result in "Invalid generated Coq file"

Issue - State: open - Opened by andrew4699 over 4 years ago

#80 - Test on demo website runs into out of time

Issue - State: open - Opened by matthiastz over 4 years ago - 2 comments
Labels: bug

#79 - Can not successfully run Cosette tests

Issue - State: closed - Opened by matthiastz over 4 years ago - 3 comments

#78 - Simple WHERE test not possible

Issue - State: closed - Opened by matthiastz over 4 years ago - 1 comment

#76 - Invalid Cosette program yields invalid Coq code

Issue - State: open - Opened by qaisjp almost 5 years ago

#73 - Feature request: result of counter examples

Issue - State: open - Opened by beta-ziliani about 5 years ago

#71 - Help, throw an exception when parsing

Issue - State: closed - Opened by wjinshui about 5 years ago - 1 comment

#70 - Cosette freezes (different from #63)

Issue - State: closed - Opened by primeapple over 5 years ago - 1 comment

#69 - fixed Rosette installation in FrontendDockerfile

Pull Request - State: closed - Opened by primeapple almost 6 years ago - 5 comments

#68 - Broken FrontendDockerfile

Issue - State: closed - Opened by primeapple almost 6 years ago - 1 comment

#67 - Do you have document on how to use Cosette with Calcite RelNode in Java?

Issue - State: open - Opened by greatji about 6 years ago - 1 comment

#65 - Feature request: EXISTS, IN

Issue - State: open - Opened by junseung-hwang about 6 years ago - 1 comment

#64 - racket error returned

Issue - State: closed - Opened by akcheung over 6 years ago - 2 comments

#63 - EXISTS Freezes

Issue - State: open - Opened by vinvsv97 over 6 years ago - 1 comment

#62 - Merge Meta Solver to the upstream

Issue - State: closed - Opened by stechu over 6 years ago

#61 - Feature request: In/Not In

Issue - State: open - Opened by Njanderson almost 7 years ago

#60 - Exactly Equal Queries Time out

Issue - State: open - Opened by Njanderson almost 7 years ago - 1 comment

#59 - Invalid Coq generated

Issue - State: closed - Opened by Njanderson almost 7 years ago - 2 comments

#58 - Feature request: Not Exists

Issue - State: open - Opened by Njanderson almost 7 years ago

#57 - Support string literal

Pull Request - State: closed - Opened by stechu almost 7 years ago

#56 - support string literal

Issue - State: closed - Opened by stechu almost 7 years ago

#55 - support AVG

Issue - State: closed - Opened by stechu almost 7 years ago - 2 comments

#54 - Invalid generated Coq code when subquery contains predicate

Issue - State: open - Opened by duremar almost 7 years ago - 2 comments

#54 - Invalid generated Coq code when subquery contains predicate

Issue - State: open - Opened by duremar almost 7 years ago - 2 comments

#53 - Support Having

Pull Request - State: closed - Opened by stechu almost 7 years ago

#52 - Can't verify queries with const expr

Issue - State: open - Opened by zedware almost 7 years ago - 3 comments

#51 - parser support of inner join

Pull Request - State: closed - Opened by stechu almost 7 years ago

#50 - incorrect coq code gen when constant in aggregate expr

Issue - State: closed - Opened by stechu almost 7 years ago
Labels: bug

#49 - Rosette support of Aggregation on Group By columns

Issue - State: closed - Opened by stechu almost 7 years ago - 1 comment

#48 - generalize group by support

Pull Request - State: closed - Opened by stechu almost 7 years ago

#47 - Support Left Outer Join in the parser

Issue - State: open - Opened by Mestway almost 7 years ago - 1 comment

#46 - support project without explicit alias

Pull Request - State: closed - Opened by stechu almost 7 years ago

#45 - case insensitive table names and attribute names

Pull Request - State: closed - Opened by stechu almost 7 years ago

#44 - Table name and attributes should be case insensitive

Issue - State: closed - Opened by stechu almost 7 years ago

#43 - Support features that are used in 344 Homework and Calcite

Issue - State: closed - Opened by stechu almost 7 years ago - 1 comment

#42 - Supporting general group by

Issue - State: closed - Opened by Mestway almost 7 years ago - 1 comment

#41 - allow as in From clause

Pull Request - State: closed - Opened by stechu almost 7 years ago

#40 - Prove calcite rules

Pull Request - State: closed - Opened by stechu about 7 years ago

#39 - chase uninomials (part 1)

Pull Request - State: closed - Opened by stechu about 7 years ago

#38 - Coq code generation bug when aggregate without group by

Issue - State: closed - Opened by stechu about 7 years ago - 1 comment
Labels: bug

#37 - Frontend Improvement

Pull Request - State: closed - Opened by stechu about 7 years ago

#36 - Front End Bug

Issue - State: closed - Opened by stechu about 7 years ago
Labels: bug

#35 - add LICENSE

Pull Request - State: closed - Opened by stechu about 7 years ago - 1 comment

#34 - CTE support

Issue - State: open - Opened by fuyfuy about 7 years ago - 3 comments

#33 - Update to Racket 6.9

Issue - State: closed - Opened by stechu about 7 years ago - 2 comments

#32 - Better proof search for query with union

Issue - State: open - Opened by stechu about 7 years ago
Labels: enhancement

#31 - LICENSE file

Issue - State: closed - Opened by chrisjshull about 7 years ago - 1 comment

#30 - potential bug with union?

Issue - State: closed - Opened by akcheung about 7 years ago - 7 comments

#29 - Query cause coq code generation error

Issue - State: closed - Opened by stechu about 7 years ago - 2 comments

#28 - Fixed a typo and added a comma.

Pull Request - State: closed - Opened by bfitzsimmons about 7 years ago - 1 comment

#27 - README.md links are broken

Issue - State: closed - Opened by alex-bender about 7 years ago - 2 comments

#26 - show some better description of the coq tactic used

Issue - State: closed - Opened by akcheung about 7 years ago

#25 - Union All on base relations will lead to error in Coq code generation

Issue - State: closed - Opened by stechu about 7 years ago - 2 comments

#24 - Guide edits

Pull Request - State: closed - Opened by akcheung about 7 years ago - 1 comment

#23 - [WIP] experimental branch on synthesize preconditions

Pull Request - State: open - Opened by stechu over 7 years ago

#22 - Testing counter examples on a sqlite engine

Issue - State: closed - Opened by Mestway over 7 years ago - 1 comment

#21 - move contents from readme.md to cosette.cs

Issue - State: closed - Opened by akcheung over 7 years ago

#20 - Add frontend support for group by

Pull Request - State: closed - Opened by stechu over 7 years ago

#19 - Generate invalid Coq code when same attribute names from different schemas

Issue - State: closed - Opened by stechu over 7 years ago - 1 comment

#18 - EXCEPT statements produce Coq syntax error

Issue - State: open - Opened by Snoozy over 7 years ago

#17 - Self JOINs produce Coq syntax error

Issue - State: closed - Opened by Snoozy over 7 years ago - 1 comment

#16 - Compile Constant to Coq

Issue - State: closed - Opened by stechu over 7 years ago - 1 comment

#15 - the counter example interface (cosette-solve) need to support symbolic function

Issue - State: closed - Opened by stechu over 7 years ago - 1 comment

#14 - Rosette Backend Timeout Mechanism

Issue - State: closed - Opened by stechu over 7 years ago - 1 comment

#13 - Rosette generic predicate

Pull Request - State: closed - Opened by stechu over 7 years ago

#12 - Support `SELECT *` in Rosette Backend

Issue - State: closed - Opened by stechu over 7 years ago - 1 comment

#11 - Add symbolic predicate in Rosette

Issue - State: closed - Opened by stechu over 7 years ago

#10 - rosette/cidr-benchmarks/subquery-test.rkt runs forever?

Issue - State: closed - Opened by xuruiyang over 7 years ago

#9 - Increasing size of symbolic relations in Rosette

Issue - State: closed - Opened by stechu over 7 years ago - 2 comments

#8 - update repo's readme

Issue - State: closed - Opened by akcheung over 7 years ago - 1 comment

#7 - Travis Integration

Issue - State: closed - Opened by stechu over 7 years ago - 2 comments

#6 - Does Cosette support using expressions in Select

Issue - State: closed - Opened by xuruiyang over 7 years ago - 9 comments

#5 - Extract common translation to a single place

Issue - State: closed - Opened by stechu over 7 years ago - 1 comment

#4 - Rosette counterexample generation?

Issue - State: closed - Opened by xuruiyang over 7 years ago - 2 comments

#3 - Host `cosette' looks like a remote host, `docker' can only use the local host

Issue - State: closed - Opened by xuruiyang over 7 years ago - 5 comments

#2 - Rosette code?

Issue - State: closed - Opened by tomlarkworthy almost 8 years ago - 1 comment

#1 - Update to Coq 8.5pl1

Issue - State: closed - Opened by stechu about 8 years ago