git.libre-soc.org Git - cvc5.git/history - src/theory/quantifiers/sygus/rcons_type

2021-08-25	Andrew Reynolds	Eliminate calls to currentSmtEngine (#7060)	blob \| commitdiff \| raw
2021-08-24	Andrew Reynolds	Refactor enumerator management in synth conjecture...	blob \| commitdiff \| raw \| diff to current
2021-05-18	Abdalrhman Mohamed	Loop over terms to reconstruct instead of obligations...	blob \| commitdiff \| raw \| diff to current
2021-05-13	Mathias Preiner	Add std::hash overloads for Node, TNode and TypeNode...	blob \| commitdiff \| raw \| diff to current
2021-04-14	Aina Niemetz	Rename public and private headers in src/include. ...	blob \| commitdiff \| raw \| diff to current
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-09	Aina Niemetz	Rename CVC4__ header guards to CVC5__. (#6326)	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-23	Abdalrhman Mohamed	Replace old sygus term reconstruction algorithm with...	blob \| commitdiff \| raw \| diff to current