4 Commits

Author	SHA1	Message	Date
Andrew Reynolds	e067b5261b	Make unit tests for proofs more robust wrt rewrite rules (#11601) ... The helper method `create_rewrite_proof` no longer generates rewrite rule holes on my dev branch, since the given rewrite is handled by ARITH_POLY_NORM now.	2025-02-10 22:35:29 +00:00
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
Hans-Jörg	bd2d37404b	Change author name from "Hans-Jörg" to "Hans-Joerg" (#11155) ... The later uses only ASCII letters instead of Unicode characters. This currently leads to a build issue with the Java headers on FreeBSD: https://github.com/cvc5/cvc5/issues/11145	2024-08-13 09:24:21 +00:00
Aina Niemetz	5a31718ffd	c api: Add support for proofs. (#10877)	2024-06-26 17:58:07 +00:00