uwdb/Cosette

Issues

• Integrity Constraint Support

  #89 opened 7 months ago by yicun0720
  1

• What's the status of the project?

  #87 opened 3 years ago by yaitskov
  2

• Update docs to include how to set up Cosette locally

  #86 opened 3 years ago by ReinierKoops
  1

• count(*) should be different from count(column)

  #85 opened 4 years ago by JsToCode
  0

• EXISTS with subquery runs into out of time

  #83 opened 5 years ago by matthiastz
  1

• Multiple INNER JOIN clauses: runs into out of time

  #84 opened 5 years ago by matthiastz
  0

• COUNT usage leads to error: Invalid generated Coq code

  #82 opened 5 years ago by matthiastz
  1

• Strings with dots result in "Invalid generated Coq file"

  #81 opened 5 years ago by andrew4699
  0

• Test on demo website runs into out of time

  #80 opened 5 years ago by matthiastz
  2

• Simple WHERE test not possible

  #78 opened 5 years ago by matthiastz
  1

• Can not successfully run Cosette tests

  #79 opened 5 years ago by matthiastz
  3

• Basic `select distinct` program - Coq and Rosette executions don't agree

  #77 opened 5 years ago by qaisjp
  0

• Invalid Cosette program yields invalid Coq code

  #76 opened 5 years ago by qaisjp
  0

• Equivalence check for DISTINCT UNION ALL of disjoint sets yields invalid Coq code

  #75 opened 5 years ago by erikjwaxx
  0

• Equivalent queries with conditions on a date column generate invalid Coq code

  #74 opened 5 years ago by milos-simic
  0

• README.md links are broken

  #27 opened 7 years ago by alex-bender
  2

• Feature request: Avoid useless repetition in counter examples

  #72 opened 5 years ago by beta-ziliani
  0

• Feature request: result of counter examples

  #73 opened 5 years ago by beta-ziliani
  0

• Help, throw an exception when parsing

  #71 opened 5 years ago by wjinshui
  1

• Cosette freezes (different from #63)

  #70 opened 6 years ago by primeapple
  1

• Broken FrontendDockerfile

  #68 opened 6 years ago by primeapple
  1

• support AVG

  #55 opened 6 years ago by stechu
  2

• Do you have document on how to use Cosette with Calcite RelNode in Java?

  #67 opened 6 years ago by greatji
  1

• Building hott for Coq results in "Unable to satisfy the following constraints" error

  #66 opened 6 years ago by adaszews
  1

• Feature request: EXISTS, IN

  #65 opened 6 years ago by junseung-hwang
  1

• racket error returned

  #64 opened 6 years ago by akcheung
  2

• Merge Meta Solver to the upstream

  #62 opened 6 years ago by stechu
  0

• EXISTS Freezes

  #63 opened 7 years ago by vinvsv97
  1

• Invalid Coq generated

  #59 opened 7 years ago by Njanderson
  2

• Supporting general group by

  #42 opened 7 years ago by Mestway
  1

• Can't verify queries with const expr

  #52 opened 7 years ago by zedware
  3

• Feature request: Not Exists

  #58 opened 7 years ago by Njanderson
  0

• Feature request: In/Not In

  #61 opened 7 years ago by Njanderson
  0

• Exactly Equal Queries Time out

  #60 opened 7 years ago by Njanderson
  1

• incorrect coq code gen when constant in aggregate expr

  #50 opened 7 years ago by stechu
  0

• support string literal

  #56 opened 7 years ago by stechu
  0

• Invalid generated Coq code when subquery contains predicate

  #54 opened 7 years ago by duremar
  2

• show some better description of the coq tactic used

  #26 opened 7 years ago by akcheung
  0

• Support features that are used in 344 Homework and Calcite

  #43 opened 7 years ago by stechu
  1

• Coq code generation bug when aggregate without group by

  #38 opened 7 years ago by stechu
  1

• Rosette support of Aggregation on Group By columns

  #49 opened 7 years ago by stechu
  1

• Support Left Outer Join in the parser

  #47 opened 7 years ago by Mestway
  1

• Table name and attributes should be case insensitive

  #44 opened 7 years ago by stechu
  0

• Update to Racket 6.9

  #33 opened 7 years ago by stechu
  2

• Front End Bug

  #36 opened 7 years ago by stechu
  0

• CTE support

  #34 opened 7 years ago by fuyfuy
  3

• LICENSE file

  #31 opened 7 years ago by chrisjshull
  1

• Better proof search for query with union

  #32 opened 7 years ago by stechu
  0

• potential bug with union?

  #30 opened 7 years ago by akcheung
  7

• Query cause coq code generation error

  #29 opened 7 years ago by stechu
  2