8000 Issues · cvc5/cvc5 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Issues: cvc5/cvc5

Beta
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

112 Open 2,529 Closed
112 Open 2,529 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

Infinite loop with modulo
#11872 opened May 8, 2025 by amigalemming
@ajreynol
1
An assertion failure with --sat-solver=cadical experimental
#11867 opened May 6, 2025 by hchenqide
@aniemetz
>=v1.2.0 fails with Illegal instruction with x86 binary in docker running on arm machine.
#11858 opened May 1, 2025 by MattCWheeler
@daniel-larraz
Tree traversal in BV rewriter causes node allocation failure safe-options
#11809 opened Apr 14, 2025 by daniel-larraz
1
@ajreynol @mpreiner
Setting logic to ALL solves non-linear integer problem unsolvable with QF_NIA
#11758 opened Mar 26, 2025 by maheenmatin
@ajreynol
Alethe proof uses :named in partially applied terms experimental
#11750 opened Mar 19, 2025 by bpandreotti
@HanielB
simple codatatype map returns unknown experimental
#11749 opened Mar 18, 2025 by GrootProgrammer
@ajreynol
1
[Performance] cvc5 hangs when Z3 returns unsat
#11744 opened Mar 18, 2025 by keikun555
@ajreynol
1
CVC5 1.2.0 hangs on a large UFBVLIRA theory SMT2 file
#11724 opened Mar 8, 2025 by clayrat
@ajreynol
6
C API doc for Cvc5TermManager is broken
#11651 opened Feb 18, 2025 by HuStmpHrrr
@aniemetz
1
rlimit consumption difference when compiled with recent gcc
#11647 opened Feb 17, 2025 by ptroja
@netolcc06
Duplicate Variable Declaration when Synthesizing Invariants Causes Infinite Loop
#11639 opened Feb 14, 2025 by srod5125
@ajreynol
Z3 and CVC5 performance diverge siginificantly
#11540 opened Jan 17, 2025 by vrindisbacher
@ajreynol
2
CVC5: String performance
#11537 opened Jan 17, 2025 by Avgor46
@ajreynol
1
Regression on mod property
#11535 opened Jan 16, 2025 by florianschanda
@ajreynol
4
str.contains Performance Issue
#11460 opened Dec 18, 2024 by rachelcleaveland
@ajreynol
Reserved symbols within bars should be allowed question
#11406 opened Dec 4, 2024 by LeventErkok
@ajreynol
2
Easy integer addition lower-bound not solved by CVC5 with default options
#11397 opened Nov 29, 2024 by rod-chapman
@yoni206
5
Easy unsolved quantified problem
#11395 opened Nov 27, 2024 by barrettcw
@ajreynol
1
Invalid model issue experimental
#11393 opened Nov 27, 2024 by fwangdo
@barrettcw
2
Invalid model issue experimental
#11386 opened Nov 26, 2024 by fwangdo
@ajreynol
2
CVC5 Stuck at simple regular expression solving
#11371 opened Nov 15, 2024 by hongjianjiang
@ajreynol
Performance of constraints involving indexOf
#11362 opened Nov 12, 2024 by rachelcleaveland
@ajreynol
1
Completeness regression on simple BV formula
#11357 opened Nov 12, 2024 by merlinsun
@ajreynol
1
Cyclic dependency of expressions causes a dead loop
#11353 opened Nov 11, 2024 by cychen2021
@ajreynol
3
ProTip! Adding no:label will show everything without a label.
0