ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
cvc5/test/unit/api/c
History
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
..
capi_command_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_datatype_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_grammar_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_input_parser_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_kind_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_op_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_parametric_datatype_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_proof_black.cpp
Update copyright headers, add missing header documentation. (#11990)
2025-06-18 19:41:07 +00:00
capi_proof_rule_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_result_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_skolem_id_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_solver_black.cpp
api: Refactor OptionInfo struct to provide option category. (#11931)
2025-06-23 16:54:00 +00:00
capi_sort_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_sort_kind_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_statistics_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_symbol_manager_black.cpp
NodeManager as a static thread_local singleton is no more. (#11816)
2025-04-16 01:39:01 +00:00
capi_synth_result_black.cpp
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
capi_term_black.cpp
Use u32string to represent Unicode strings encoded in UTF-32 (#11994)
2025-07-08 08:12:52 +00:00
capi_term_manager_black.cpp
Add option to make regular expressions first class (#12049)
2025-08-23 16:48:07 +00:00
capi_types_black.cpp
OptionCategory: Add missing implementations, uncovered tests. (#12011)
2025-06-25 06:59:46 +00:00
capi_uncovered_black.cpp
Use u32string to represent Unicode strings encoded in UTF-32 (#11994)
2025-07-08 08:12:52 +00:00
CMakeLists.txt
OptionCategory: Add missing implementations, uncovered tests. (#12011)
2025-06-25 06:59:46 +00:00