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

Age	Commit message (Collapse)	Author
2021-04-01	Delete hashsmt example. (#6263)	Aina Niemetz
	This example does not serve the purpose of documenting how to use the new API. It uses Command, which is not available via the API, and it's not worth the effort to migrate it.
2021-03-09	Update copyright headers to 2021. (#6081)	Aina Niemetz

2020-09-22	Update copyright header script to support CMake and Python files (#5067)	Mathias Preiner
	This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header.
2020-06-16	Update copyright headers.	Aina Niemetz

2019-03-26	Update copyright headers.	Aina Niemetz

2018-06-25	Updated copyright headers.	Aina Niemetz

2017-07-16	Moving to static_assert now that c++11 is available.	Tim King

2017-07-07	Update copyright headers.	Mathias Preiner

2016-04-20	update from the master	PaulMeng

2014-07-01	Update copyrights.	Morgan Deters

2014-05-07	Adding encoding of sha1 collision for the hashing example	Dejan Jovanovic

2013-12-05	Update copyrights, add missing file-level documentation; fix perms.	Morgan Deters

2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters

2013-04-01	update copyrights	Morgan Deters

2012-07-14	an example that uses bitvectors to simulate sha1 computation and dumps an ↵	Dejan Jovanović
	smt problem corresponding to the hash-inversion problem