Andrew Reynolds bb82ecf511 Change the default proof format to ALF (#10231)

2023-12-19 23:01:25 +00:00

..

api_kind_black.cpp

c api: Introduce C/C++ specific handling of public enums. (#9915)

2023-08-22 18:17:16 +00:00

api_proof_rule_black.cpp

Make Proof Rule enum a part of the API (#9925)

2023-09-27 00:58:03 +00:00

api_sort_kind_black.cpp

c api: Introduce C/C++ specific handling of public enums. (#9915)

2023-08-22 18:17:16 +00:00

CMakeLists.txt

Add API for Proofs (#9895)

2023-10-12 12:05:01 -05:00

command_black.cpp

Do not print newlines in Command::toString (#10225)

2023-12-15 22:46:41 +00:00

datatype_api_black.cpp

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

grammar_black.cpp

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

input_parser_black.cpp

Add setStringInput to the parser APIs (#10230)

2023-12-15 19:50:57 +00:00

op_black.cpp

c api: Introduce C/C++ specific handling of public enums. (#9915)

2023-08-22 18:17:16 +00:00

op_white.cpp

c api: Introduce C/C++ specific handling of public enums. (#9915)

2023-08-22 18:17:16 +00:00

parametric_datatype_black.cpp

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

proof_black.cpp

Fix cpp api coverage check (#10193)

2023-12-04 08:32:52 -06:00

result_black.cpp

Add conflict, unsoundness and negation tracking to assertion pipeline (#10141)

2023-11-07 14:56:21 -06:00

solver_black.cpp

Change the default proof format to ALF (#10231)

2023-12-19 23:01:25 +00:00

solver_white.cpp

c api: Introduce C/C++ specific handling of public enums. (#9915)

2023-08-22 18:17:16 +00:00

sort_black.cpp

c api: Introduce C/C++ specific handling of public enums. (#9915)

2023-08-22 18:17:16 +00:00

symbol_manager_black.cpp

Add parser to the java api (#10088)

2023-11-28 11:53:30 -06:00

synth_result_black.cpp

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

term_black.cpp

c api: Introduce C/C++ specific handling of public enums. (#9915)

2023-08-22 18:17:16 +00:00

term_white.cpp

c api: Introduce C/C++ specific handling of public enums. (#9915)

2023-08-22 18:17:16 +00:00

types_black.cpp

Fix behaviour and API tests for proofs (#10137)

2023-11-07 17:29:44 +00:00