git.libre-soc.org Git - cvc5.git/history

2018-02-28	Aina Niemetz	SmtEngine::getAssignment now returns a vector of assign...	blob \| commitdiff \| raw
2018-01-08	Tim King	Removes throw specifiers from command.{h,cpp}. (#1485)	blob \| commitdiff \| raw \| diff to current
2017-12-07	Andrew Reynolds	Add command for define-fun-rec and add to API (#1412)	blob \| commitdiff \| raw \| diff to current
2017-11-15	Tim King	Adding garbage collection for Proof objects. (#1294)	blob \| commitdiff \| raw \| diff to current
2017-11-14	Tim King	Cleaning up exporting vectors within commands. Resolves...	blob \| commitdiff \| raw \| diff to current
2017-11-03	Andrew Reynolds	Sygus clean main (#1297)	blob \| commitdiff \| raw \| diff to current
2017-10-17	Tim King	Making the values argument const in the SetUserAttribut...	blob \| commitdiff \| raw \| diff to current
2017-10-11	Andrew Reynolds	Move unsat core names to smt engine (#1192)	blob \| commitdiff \| raw \| diff to current
2017-09-26	Tim King	Fixing CIDs 1172014 and 1172013: Initializing members...	blob \| commitdiff \| raw \| diff to current
2017-09-26	Tim King	CID 1362904: Initializing GetInstantiationsCommand...	blob \| commitdiff \| raw \| diff to current
2017-09-25	Tim King	CID 1362907: Initializing d_smtEngine to nullptr. ...	blob \| commitdiff \| raw \| diff to current
2017-09-19	Andres Noetzli	Fix issue #1074, improve non-fatal error handling ...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-03-30	Clark Barrett	Merge pull request #139 from 4tXJ7f/remove_throw	blob \| commitdiff \| raw \| diff to current
2017-03-30	Andres Notzli	[Coverity] Remove throw qualifiers in src/smt	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-03-08	ajreynol	Extend synthesis solver to handle single invocation...	blob \| commitdiff \| raw \| diff to current
2016-02-16	ajreynol	Public interface for quantifier elimination. Minor...	blob \| commitdiff \| raw \| diff to current
2016-02-02	Tim King	Moving dump., command., model.*, and ite_removal...	blob \| commitdiff \| raw \| diff to current

RSS Atom