5 Commits

Author	SHA1	Message	Date
Andrew Reynolds	6c2dc6e78f	Add option to make regular expressions first class (#12049) ... This adds an expert option to allow regular expressions to appear anywhere in constraints, including in datatype fields, or as arguments to uninterpreted functions. This is required for reasoning about the correctness of CPC for proof rules involving regular expressions.	2025-08-23 16:48:07 +00:00
Aina Niemetz	cf8c5f3ade	NodeManager as a static thread_local singleton is no more. (#11816) ... Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com>	2025-04-16 01:39:01 +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
Aina Niemetz	0e8c1f33b7	java api: Enable TermManagerTest. (#10596) ... Fixes api coverage nightlies.	2024-04-08 22:10:15 +00:00
Aina Niemetz	354fc4147e	Java API: Refactor to expose TermManager. (#10531) ... This is related to the previous refactor of the C++ API in https://github.com/cvc5/cvc5/pull/10426.	2024-04-02 16:42:06 +00:00