3 Commits

Author	SHA1	Message	Date
Aina Niemetz	0647c4c107	Update copyright headers. (#11561) ... Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com>	2025-01-23 17:54:20 +00:00
Andrew Reynolds	ab0299d405	Correct incompleteness tracking in incremental mode (#11204) ... Fixes https://github.com/cvc5/cvc5/issues/11198.	2024-09-17 16:13:04 +00:00
Aina Niemetz	d825b6978f	c api: Tests for result_black. (#10931)	2024-06-29 05:44:20 +00:00