Search results

Does it support ODPS SQL syntax?

Status: Open.

#90 In uwdb/Cosette;

· LinXin04 opened on Jul 14, 2025

What's the status of the project?

Status: Open.

#87 In uwdb/Cosette;

· yaitskov opened on Sep 17, 2021

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

Status: Open.

#85 In uwdb/Cosette;

· JsToCode opened on Apr 4, 2021

Multiple INNER JOIN clauses: runs into out of time

Status: Open.

#84 In uwdb/Cosette;

· matthiastz opened on Jan 2, 2020

EXISTS with subquery runs into out of time

Status: Open.

#83 In uwdb/Cosette;

· matthiastz opened on Jan 2, 2020

COUNT usage leads to error: Invalid generated Coq code

Status: Open.

#82 In uwdb/Cosette;

· matthiastz opened on Jan 2, 2020

Strings with dots result in "Invalid generated Coq file"

Status: Open.

#81 In uwdb/Cosette;

· andrew4699 opened on Jan 1, 2020

Test on demo website runs into out of time

bug

Status: Open.

#80 In uwdb/Cosette;

· matthiastz opened on Dec 20, 2019

Basic <code>select distinct</code> program - Coq and Rosette executions don't agree

Status: Open.

#77 In uwdb/Cosette;

· qaisjp opened on Dec 17, 2019

Invalid Cosette program yields invalid Coq code

Status: Open.

#76 In uwdb/Cosette;

· qaisjp opened on Dec 17, 2019

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

Status: Open.

#75 In uwdb/Cosette;

· erikjwaxx opened on Sep 24, 2019

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

Status: Open.

#74 In uwdb/Cosette;

· milos-simic opened on Sep 5, 2019