-
Notifications
You must be signed in to change notification settings - Fork 257
Insights: cvc5/cvc5
Overview
Could not load contribution data
Please try again later
1 Release published by 1 person
-
cvc5-1.3.0
published
Jun 19, 2025
17 Pull requests merged by 6 people
-
Add Editline setup steps in INSTALL.rst
#12004 merged
Jun 24, 2025 -
api: Refactor OptionInfo struct to provide option category.
#11931 merged
Jun 23, 2025 -
Simplify usage of list_concat in Eunoia+CPC
#12006 merged
Jun 23, 2025 -
cadical: Do not notifySatLiteral on renotify_fixed.
#11998 merged
Jun 20, 2025 -
ci: Tag latest as prerelease.
#11999 merged
Jun 19, 2025 -
Add pre-simplify routine for proof node updater
#11950 merged
Jun 19, 2025 -
Take into account component types to compute well foundedness of dt constructors
#11992 merged
Jun 19, 2025 -
ci: Fix auto-population of release message.
#11995 merged
Jun 18, 2025 -
ci: Auto-populate release message.
#11993 merged
Jun 18, 2025 -
Update copyright headers, add missing header documentation.
#11990 merged
Jun 18, 2025 -
Minor fix for check proofs configuration
#11989 merged
Jun 18, 2025 -
News for release
#11976 merged
Jun 18, 2025 -
More miscellaneous changes to Eunoia+CPC to ensure terms can be type checked
#11979 merged
Jun 17, 2025 -
Add CoCoALib to the GPL section in the COPYING file
#11987 merged
Jun 17, 2025 -
Fix docs in preparation for upcoming release.
#11983 merged
Jun 17, 2025 -
Do not merge relevant domains of different type
#11985 merged
Jun 17, 2025 -
Fix soundness bug in bags with injective map down rule
#11986 merged
Jun 17, 2025
6 Pull requests opened by 4 people
-
Replace wchar_t with char32_t and wstring with u32string
#11994 opened
Jun 18, 2025 -
Add naive handling of re equalities, pf rule RE_EQ_ELIM
#12001 opened
Jun 20, 2025 -
Use subsolver in get-value when necessary
#12002 opened
Jun 20, 2025 -
Optimization to avoid repeated evaluation in RARE
#12005 opened
Jun 23, 2025 -
Optimize bag.map rules for injective functions
#12007 opened
Jun 23, 2025 -
Change field name
#12008 opened
Jun 24, 2025
5 Issues closed by 4 people
-
An assertion failure with --sat-solver=cadical
#11867 closed
Jun 20, 2025 -
Unexpected well-founded check result
#11991 closed
Jun 19, 2025 -
C API doc for Cvc5TermManager is broken
#11651 closed
Jun 18, 2025 -
Fatal failure at src/theory/quantifiers/relevant_domain.cpp:187
#11968 closed
Jun 17, 2025 -
Cannot compile `cvc5` 1.2.1 on Fedora 42 (g++ 15)
#11988 closed
Jun 17, 2025
3 Issues opened by 3 people
-
Fatal failure at src/theory/theory_model.cpp:437
#12000 opened
Jun 20, 2025 -
Well-founded check should consider `Array` as a special case
#11997 opened
Jun 19, 2025 -
Test `issue9999.smt2` times out on FreeBSD
#11996 opened
Jun 19, 2025
6 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Add ProofRule::CHAIN_M_RESOLUTION, disabled by default
#11984 commented on
Jun 18, 2025 • 2 new comments -
prop: cadical: Add support for getProof via CaDiCaL's proof tracer.
#11709 commented on
Jun 17, 2025 • 0 new comments -
Added optimization objective and strategy kinds
#11841 commented on
Jun 20, 2025 • 0 new comments -
Added an encapsulation of the optimization query result
#11842 commented on
Jun 20, 2025 • 0 new comments -
Do not allowed mixed arithmetic for real division
#11851 commented on
Jun 17, 2025 • 0 new comments -
Optimize set.map down rule to skip elements with preimages
#11852 commented on
Jun 23, 2025 • 0 new comments