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

96 Open 2,440 Closed
96 Open 2,440 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Different model on macOS and linux
#10885 opened Jun 8, 2024 by barrettcw
Fatal failure at src/theory/theory_model_builder.cpp:1089
#10864 opened Jun 6, 2024 by tigerfower
@barrettcw @mpreiner
Unable to solve sygus or smt bitvector problem with extract and nested ITE performance
#10850 opened Jun 4, 2024 by Neil-HD
@ajreynol @abdoo8080
5
cvc5 suffered a segfault when producing proofs in experimental format
#10836 opened May 31, 2024 by rodrigo7491
@HanielB
4
Why does the divide by 0 error crash?
#10813 opened May 25, 2024 by Heaven2024
6
Invalid model issue
#10812 opened May 25, 2024 by tigerfower
@barrettcw @mpreiner
2
(sygus-inst) Fatal failure at theory/arrays/theory_arrays.cpp:1595
#10805 opened May 24, 2024 by merlinsun
@barrettcw @mpreiner
The result of get-value is not a ground term
#10770 opened May 16, 2024 by yav
@ajreynol
1
Create a floating point term from a float/double feature
#10762 opened May 15, 2024 by mpreiner
@mpreiner @aniemetz
Performance issues with unintepreted functions and sorts performance
#10708 opened May 1, 2024 by Marti2203
@ajreynol
7
Dependency on libpoly not relocatable
#10681 opened Apr 24, 2024 by gussmith23
@daniel-larraz
Unproved VC with --prenex-quant=none performance
#10675 opened Apr 24, 2024 by clairedross
@ajreynol
Java Wrapper does not Throw Exceptions Properly
#10624 opened Apr 12, 2024 by baierd
@mudathirmahgoub
performance and incompleteness regressions on small instances involving transcendental functions performance
#10543 opened Mar 24, 2024 by zhendongsu
@ajreynol
9
String Simplification performance
#10522 opened Mar 20, 2024 by rachelcleaveland
@ajreynol
5
performance issue on a small bit-vector instance
#10520 opened Mar 19, 2024 by zhendongsu
@mpreiner
performance regression on small string formula performance
#10508 opened Mar 17, 2024 by zhendongsu
@ajreynol
4
Invalid model on simple QF_ABV formula
#10494 opened Mar 11, 2024 by wintered
@barrettcw @mpreiner
1
Performance regression issue on a small formula performance
#10429 opened Feb 26, 2024 by merlinsun
@ajreynol
2
Multi-line commands do not function properly in interactive mode on macOS.
#10414 opened Feb 22, 2024 by daniel-larraz
@daniel-larraz
Instability of proof when adding or removing unrelated axiom
#10313 opened Jan 29, 2024 by yannickmoy
@ajreynol @yoni206
4
cvc5 1.1.0 rlimit consumption
#10312 opened Jan 29, 2024 by kanigsson
@netolcc06
1
Instructions for installing python bindings
#10288 opened Jan 19, 2024 by DavidPratten
@daniel-larraz
(Java API) CVC5 crashes when using multiple solver instances in parallel
#10256 opened Dec 28, 2023 by daniel-raffler
@aniemetz
Fatal failure within void cvc5::internal::theory::datatypes::SygusExtension::check() at sygus_extension.cpp:1605
#10192 opened Dec 2, 2023 by sushant94
@ajreynol
2
ProTip! Updated in the last three days: updated:>2024-06-05.