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

Age	Commit message (Collapse)	Author
2021-04-12	Refactor and update copyright headers. (#6316)	Aina Niemetz

2021-04-01	Rename namespace CVC5 to cvc5. (#6258)	Aina Niemetz

2021-03-31	Rename namespace CVC4 to CVC5. (#6249)	Aina Niemetz

2021-03-09	Update copyright headers to 2021. (#6081)	Aina Niemetz

2021-03-04	New C++ API: Clean up usage of internal Result. (#6043)	Aina Niemetz
	This disables the temporarily available internals of Result. It further changes the interface for getUnknownExplanation, which now returns an enum value instead of a string.
2021-02-08	Use consistent names for fixtures in unit tests. (#5863)	Aina Niemetz

2021-01-12	google test: Use ASSERT_* instead of EXPECT_*. (#5765)	Aina Niemetz
	Use ASSERT instead of EXPECT for consistency. There's no real benefit for us to use EXPECT -- the main difference is that within a test, EXPECT failures do not terminate the test, while ASSERT failures do. This further fixes a minor issue in theory_sets_type_rules_white.h (which is still not migrated to google test yet).
2020-12-03	google test: Add fixture for context tests. (#5590)	Aina Niemetz
	Context test PRs will be updated to use this after this is merged to master.
2020-12-02	Update copyright headers.	Aina Niemetz

2020-12-01	google test: api: Migrate result_black. (#5569)	Aina Niemetz
	google test: api: Migrate result_black.