git.libre-soc.org Git - cvc5.git/history - src/theory/decision

2020-11-12	Andrew Reynolds	Simplify sygus solver and sygus stream (#5389)	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-09-19	Andrew Reynolds	Support context-(in)dependent decision strategies....	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-10-04	Andrew Reynolds	Clean remaining references to getNextDecisionRequest...	blob \| commitdiff \| raw \| diff to current
2018-09-18	Andrew Reynolds	Decision strategy: incorporate strings fmf. (#2485)	blob \| commitdiff \| raw \| diff to current
2018-09-12	Andrew Reynolds	Initial infrastructure for theory decision manager...	blob \| commitdiff \| raw \| diff to current