cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2019-03-26	Update copyright headers.	Aina Niemetz
2018-10-18	Introducing internal commands for SyGuS commands (#2627)	Haniel Barbosa
2018-08-21	Removing unused bool members in command.cpp. Also initializes a bool member. ...	Tim King
2018-03-09	Add support for SMT-LIB v2.5 command get-unsat-assumptions (#1653)	Aina Niemetz
2018-03-05	Add support for check-sat-assuming. (#1637)	Aina Niemetz
2018-01-08	Removes throw specifiers from command.{h,cpp}. (#1485)	Tim King
2017-12-06	Add command for define-fun-rec and add to API (#1412)	Andrew Reynolds
2017-11-15	Adding garbage collection for Proof objects. (#1294)	Tim King
2017-11-03	Sygus clean main (#1297)	Andrew Reynolds
2017-10-26	Adds a macro to SWIG to ignore the override and final C++11 keywords in older...	Tim King
2017-10-17	Making the values argument const in the SetUserAttributeCommand const… (#1249)	Tim King
2017-10-11	Move unsat core names to smt engine (#1192)	Andrew Reynolds
2017-09-26	Fixing CIDs 1172014 and 1172013: Initializing members of GetProofCommand and ...	Tim King
2017-09-26	CID 1362904: Initializing GetInstantiationsCommand::d_smtEngine to nullptr. (...	Tim King
2017-09-24	CID 1362907: Initializing d_smtEngine to nullptr. (#1134)	Tim King
2017-09-19	Fix issue #1074, improve non-fatal error handling (#1075)	Andres Noetzli
2017-07-07	Update copyright headers.	Mathias Preiner
2017-03-30	[Coverity] Remove throw qualifiers in src/smtremove_throw	Andres Notzli
2016-04-20	update from the master	PaulMeng
2016-02-02	Moving dump., command., model., and ite_removal. from smt_util/ to smt/. ...	Tim King