git.libre-soc.org Git - cvc5.git/history - test/regress/cli/CMakeLists.txt

[cvc5.git] / test / regress / cli / CMakeLists.txt

2022-03-30	Andrew Reynolds	Fixes for sygus-inst (#8448)	blob \| commitdiff \| raw
2022-03-30	Andrew Reynolds	Fix subtype issue in cegqi arithmetic (#8440)	blob \| commitdiff \| raw \| diff to current
2022-03-29	yoni206	bv-to-int: fix translation of bvneg (#8437)	blob \| commitdiff \| raw \| diff to current
2022-03-29	Andrew Reynolds	Fix issue related to use of Boolean term variable for...	blob \| commitdiff \| raw \| diff to current
2022-03-29	Clark Barrett	Fix for issue 5925: constant arrays should be nonlinear...	blob \| commitdiff \| raw \| diff to current
2022-03-26	Andrew Reynolds	Fix spurious assertion failure (#8404)	blob \| commitdiff \| raw \| diff to current
2022-03-25	Andres Noetzli	[Parser] Fix resolution of indexed symbols (#8383)	blob \| commitdiff \| raw \| diff to current
2022-03-25	Andrew Reynolds	Properly guard commands in the SyGuS API (#8390)	blob \| commitdiff \| raw \| diff to current
2022-03-24	Haniel Barbosa	[unsat-cores] [sat-proof] Fix open proofs due to theory...	blob \| commitdiff \| raw \| diff to current
2022-03-23	Andrew Reynolds	Make IDOF_MAX rewrite only apply when all children...	blob \| commitdiff \| raw \| diff to current
2022-03-23	mudathirmahgoub	Fix cvc5-projects issue 497 (#8331)	blob \| commitdiff \| raw \| diff to current
2022-03-23	Andrew Reynolds	Fix non-termination issue in sygus enumerator (#8340)	blob \| commitdiff \| raw \| diff to current
2022-03-22	Andrew Reynolds	Fixes for witness terms appearing in CEGQI instantiatio...	blob \| commitdiff \| raw \| diff to current
2022-03-16	Aina Niemetz	First step towards refactoring regression tests. (...	blob \| commitdiff \| raw \| diff to current

RSS Atom