Andrew Reynolds fa742c5f92 Add fixed project issues (#10180) ...

Fixes cvc5/cvc5-projects#666.
Fixes cvc5/cvc5-projects#652.
Fixes cvc5/cvc5-projects#646.

2023-11-29 21:45:16 +00:00

..

boilerplate.cpp

Update copyright headers. (#9736)

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

CMakeLists.txt

Add fixed project issues (#10180)

2023-11-29 21:45:16 +00:00

finite_field.cpp

Update copyright headers. (#9736)

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

issue4889.cpp

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

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

issue5074.cpp

Update copyright headers. (#9736)

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

issue6111.cpp

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

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

ouroborous.cpp

Add parser to the java api (#10088)

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

proj-issue306.cpp

Update copyright headers. (#9736)

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

proj-issue334.cpp

Update copyright headers. (#9736)

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

proj-issue344.cpp

Update copyright headers. (#9736)

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

proj-issue345.cpp

Update copyright headers. (#9736)

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

proj-issue377.cpp

Update copyright headers. (#9736)

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

proj-issue388.cpp

Update copyright headers. (#9736)

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

proj-issue395.cpp

Update copyright headers. (#9736)

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

proj-issue399.cpp

Update copyright headers. (#9736)

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

proj-issue418.cpp

Update copyright headers. (#9736)

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

proj-issue421.cpp

Update copyright headers. (#9736)

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

proj-issue445.cpp

Refactor expression miner interface (#9796)

2023-06-06 17:36:22 +00:00

proj-issue455.cpp

Update copyright headers. (#9736)

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

proj-issue484.cpp

Update copyright headers. (#9736)

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

proj-issue538.cpp

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

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

proj-issue567.cpp

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

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

proj-issue570.cpp

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

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

proj-issue573.cpp

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

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

proj-issue574.cpp

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

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

proj-issue575.cpp

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

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

proj-issue576.cpp

Update copyright headers. (#9736)

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

proj-issue580.cpp

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

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

proj-issue581.cpp

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

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

proj-issue587.cpp

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

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

proj-issue600.cpp

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

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

proj-issue611.cpp

Update copyright headers. (#9736)

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

proj-issue612.cpp

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

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

proj-issue618.cpp

Update copyright headers. (#9736)

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

proj-issue621.cpp

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

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

proj-issue644.cpp

Remove rewriting for universe set (#9979)

2023-08-24 19:26:10 +00:00

proj-issue646.cpp

Add fixed project issues (#10180)

2023-11-29 21:45:16 +00:00

proj-issue652.cpp

Add fixed project issues (#10180)

2023-11-29 21:45:16 +00:00

proj-issue654.cpp

Fix issues related to interpolants (#9976)

2023-08-28 13:45:26 +00:00

proj-issue655.cpp

Be robust to non-constant evaluation in sygus core connective (#9977)

2023-09-14 13:43:34 +00:00

proj-issue656.cpp

Fix soundness issue with bags.card when a child appears multiple times in bag.union_disjoint (#9980)

2023-08-29 08:53:19 -05:00

proj-issue657.cpp

Do not prenex into non-standard quantifiers in prenex normal mode (#9974)

2023-08-23 18:48:29 +00:00

proj-issue666.cpp

Add fixed project issues (#10180)

2023-11-29 21:45:16 +00:00

reset_assertions.cpp

Update copyright headers. (#9736)

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

sep_log_api.cpp

Update copyright headers. (#9736)

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

smt2_compliance.cpp

Adding API checks, unit tests, and examples for the parser API (#10048)

2023-10-02 15:51:32 +00:00

two_solvers.cpp

Update copyright headers. (#9736)

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