Skip to content

Issues: kroening/fastsynth

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.

Sign up for GitHub

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

23 Open 8 Closed
23 Open 8 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

assumptions causing spurious candidate solutions from synthesis engine
#89 opened Oct 13, 2019 by polgreen
conjunctions in assertion causing violated invariants
#88 opened Oct 13, 2019 by polgreen
local search + incremental doesn't work
#78 opened Jul 26, 2019 by polgreen
SMT front end bugs
#69 opened Nov 14, 2018 by polgreen
try Riss as replacement for minisat implementation
#58 opened Feb 7, 2018 by polgreen
termination benchmarks benchmarking
#57 opened Feb 6, 2018 by kroening
Backport SMT-LIB2 front-end into CBMC implementation
#55 opened Feb 6, 2018 by polgreen
Sygus/SMT-LIB2 type checker implementation
#54 opened Feb 6, 2018 by polgreen
Try implications in synthesis encoding instead of ? : chain implementation
#53 opened Feb 6, 2018 by polgreen
Can we use the _values_ in the synthesis SAT instance? i.e., inputs? implementation
#52 opened Feb 6, 2018 by polgreen
Does generating more counterexamples help? implementation
#51 opened Feb 6, 2018 by polgreen
FM implementation improvements implementation
#50 opened Feb 6, 2018 by polgreen
sygus benchmarks benchmarking
#49 opened Feb 6, 2018 by polgreen Benchmarking
@polgreen
Control examples benchmarking
#48 opened Feb 6, 2018 by polgreen Benchmarking
@polgreen
More applications benchmarking
#47 opened Feb 6, 2018 by polgreen Benchmarking
1
Compositional synthesis related work
#46 opened Feb 6, 2018 by polgreen
1
existential quantification over one-argument predicates related work
#45 opened Feb 6, 2018 by polgreen
Find out what CVC4 does without grammar related work
#44 opened Feb 6, 2018 by polgreen
enumerative engine algorithms
#43 opened Feb 6, 2018 by polgreen Algorithmic alternatives
@polgreen
1
e-matching and other quantifier instantiation heuristics algorithms
#42 opened Feb 6, 2018 by polgreen
special casing for functions with only one instance algorithms
#41 opened Feb 6, 2018 by polgreen
1
DNNs algorithms
#40 opened Feb 6, 2018 by polgreen
Farkas' Lemma algorithms
#39 opened Feb 6, 2018 by polgreen
ProTip! Find all open issues with in progress development work with linked:pr.