All issues

Search results

Unsound: ignoreNulls is forwarded from Calcite, so COUNT(x) proves equivalent to COUNT(*)

Status: Open.

#37 In qed-solver/parser;

· zvonimir-dd opened on Sep 28, 2026

Parser-generated .rkt files do not run with current qed-solver/disprover

Status: Open.

#36 In qed-solver/parser;

· miniHive opened on Sep 17, 2026

The parser omits window clauses completly

Status: Open.

#34 In qed-solver/parser;

· pgarne opened on Nov 11, 2025

Unable to parse SQL due to reflective access issue with Java modules (java.lang.reflect)

Status: Open.

#8 In qed-solver/parser;

· lefeng872 opened on Apr 21, 2025

CTE Support

Status: Open.

#6 In qed-solver/parser;

· isaiahfisher opened on Jan 6, 2025

LogicalIntersect Not implemented

Status: Open.

#5 In qed-solver/parser;

· nmiletic opened on Dec 15, 2023