[go: up one dir, main page]
Skip to content

Issues: cvc5/cvc5

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

111 Open 2,491 Closed
111 Open 2,491 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

CVC5 Stuck at simple regular expression solving
#11371 opened Nov 15, 2024 by hongjianjiang
Performance of constraints involving indexOf performance
#11362 opened Nov 12, 2024 by rachelcleaveland
@ajreynol
1
Completeness regression on simple BV formula performance
#11357 opened Nov 12, 2024 by merlinsun
@ajreynol
1
Undefined behavior due to dereferencing null SygusSampler::d_tds
#11356 opened Nov 12, 2024 by eric-wieser
nullable.some without an argument causes a segfault
#11354 opened Nov 11, 2024 by cychen2021
@mudathirmahgoub
Cyclic dependency of expressions causes a dead loop
#11353 opened Nov 11, 2024 by cychen2021
2
set-option causes a segfault
#11352 opened Nov 11, 2024 by cychen2021
Produced unsat-core is not subset-minimal not an issue question
#11326 opened Nov 1, 2024 by Tomaqa
@HanielB
4
Performance of incremental solving on string assertions performance
#11319 opened Oct 25, 2024 by rachelcleaveland
@ajreynol
2
Performance on string solving performance
#11206 opened Sep 17, 2024 by Heaven2024
@ajreynol
1
Performance regression issue on a simple formula performance
#11201 opened Sep 11, 2024 by merlinsun
@ajreynol
(--check-proofs) Fatal failure at src/proof/conv_proof_generator.cpp:159
#11197 opened Sep 6, 2024 by wintered
@ajreynol
Fatal failure at src/util/floatingpoint_literal_symfpu_traits.cpp:405
#11165 opened Aug 15, 2024 by theauk
@martin-cs @aniemetz
2
unknown about simple quantification formula performance
#11157 opened Aug 13, 2024 by Heaven2024
@ajreynol
3
Performance issues regarding apparently contradictory constraints performance
#11156 opened Aug 13, 2024 by Heaven2024
@ajreynol
Performance issue on string concatenation and comparison performance
#11151 opened Aug 12, 2024 by r0ayane
@ajreynol
The test interactive_shell_define_fun_rec_multiline fails
#11146 opened Aug 11, 2024 by yurivict
@daniel-larraz
1
Fatal failure at src/util/floatingpoint_literal_symfpu_traits.cpp:410
#11139 opened Aug 7, 2024 by wintered
@aniemetz
Performance issues related to functions performance
#11080 opened Jul 20, 2024 by Heaven2024
@ajreynol
String Reversal Simplification performance
#11010 opened Jul 5, 2024 by rachelcleaveland
@ajreynol
Unknown result due to variable values performance
#11009 opened Jul 4, 2024 by Heaven2024
@ajreynol
Incompleteness with experimental option --arrays-weak-equiv
#11008 opened Jul 3, 2024 by hansjoergschurr
@barrettcw
Disagreement with z3 on quantified Real benchmark
#11004 opened Jul 3, 2024 by Heaven2024
@ajreynol
2
Linking errors involving libpoly
#11000 opened Jul 2, 2024 by CyanoKobalamyne
@daniel-larraz
4
Rounding issue with fpToSBV feature
#10997 opened Jul 1, 2024 by Btraube
@martin-cs @alex-ozdemir @aniemetz
10
ProTip! Updated in the last three days: updated:>2024-11-15.