-
Notifications
You must be signed in to change notification settings - Fork 258
Insights: cvc5/cvc5
Overview
-
- 5 Merged pull requests
- 3 Open pull requests
- 0 Closed issues
- 1 New issue
Could not load contribution data
Please try again later
5 Pull requests merged by 3 people
-
python: Suppress deprecation warnings related to OptionInfo
#12009 merged
Jun 24, 2025 -
OptionInfo: Revert change to field name.
#12008 merged
Jun 24, 2025 -
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
3 Pull requests opened by 3 people
-
Optimization to avoid repeated evaluation in RARE
#12005 opened
Jun 23, 2025 -
Optimize bag.map rules for injective functions
#12007 opened
Jun 23, 2025 -
OptionCategory: Add missing implementations, uncovered tests.
#12011 opened
Jun 24, 2025
1 Issue opened by 1 person
-
Upper bound for characters
#12010 opened
Jun 24, 2025
7 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.
-
Well-founded check should consider `Array` as a special case
#11997 commented on
Jun 22, 2025 • 0 new comments -
Test `issue9999.smt2` times out on FreeBSD
#11996 commented on
Jun 24, 2025 • 0 new comments -
prop: cadical: Add support for getProof via CaDiCaL's proof tracer.
#11709 commented on
Jun 24, 2025 • 0 new comments -
Optimize set.map down rule to skip elements with preimages
#11852 commented on
Jun 23, 2025 • 0 new comments -
Add .sy file referenced on the cvc5 website
#11974 commented on
Jun 24, 2025 • 0 new comments -
Replace wchar_t with char32_t and wstring with u32string
#11994 commented on
Jun 24, 2025 • 0 new comments -
Use subsolver in get-value when necessary
#12002 commented on
Jun 24, 2025 • 0 new comments