Issues

• NullPointerException "charset is null for VARCHAR" on a LEFT JOIN over VARCHAR columns

  qed-solver/parser#40 · Filter by author zvonimir-dd opened on Oct 9, 2026

• Unsound: a UNIQUE key is emitted on the wrong column when fields are reordered or pruned

  qed-solver/parser#39 · Filter by author zvonimir-dd opened on Oct 9, 2026

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

  qed-solver/parser#37 · Filter by author zvonimir-dd opened on Sep 28, 2026

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

  qed-solver/parser#36 · Filter by author miniHive opened on Sep 17, 2026

• The parser omits window clauses completly

  qed-solver/parser#34 · Filter by author pgarne opened on Nov 11, 2025

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

  qed-solver/parser#8 · Filter by author lefeng872 opened on Apr 21, 2025
  1

• CTE Support

  qed-solver/parser#6 · Filter by author isaiahfisher opened on Jan 6, 2025
  1

• LogicalIntersect Not implemented

  qed-solver/parser#5 · Filter by author nmiletic opened on Dec 15, 2023
  1