-
Notifications
You must be signed in to change notification settings - Fork 54
Issues: uwdb/Cosette
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Basic
select distinct
program - Coq and Rosette executions don't agree
#77
opened Dec 17, 2019 by
qaisjp
Equivalence check for DISTINCT UNION ALL of disjoint sets yields invalid Coq code
#75
opened Sep 24, 2019 by
erikjwaxx
Equivalent queries with conditions on a date column generate invalid Coq code
#74
opened Sep 5, 2019 by
milos-simic
Feature request: Avoid useless repetition in counter examples
#72
opened Jul 30, 2019 by
beta-ziliani
Do you have document on how to use Cosette with Calcite RelNode in Java?
#67
opened Sep 18, 2018 by
greatji
ProTip!
What’s not been updated in a month: updated:<2024-11-22.