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

Age	Commit message (Collapse)	Author
2021-06-02	Move `toPythonObj` tests to the new API unit test directory (#6656)	yoni206
	This is the last test file that we move from the old directory to the new one, and so the old directory is deleted.
2021-05-28	Python API: bugfix + translating tests from cpp unit tests (#6559)	yoni206
	This PR fixes an issue in the python API for datatypes, and also introduces tests translated from https://github.com/cvc5/cvc5/blob/master/test/unit/api/datatype_api_black.cpp The next PR will translate more tests and will also introduce missing functions in the python API for datatypes.
2021-05-17	Move and enhance python API grammar tests (#6538)	yoni206
	The existing test for python API grammar is moved to the right location, `yapf`ed, and changed according to the new style of python API tests. Additionally, minor changes are introduced in order to be an exact translation of https://github.com/cvc5/cvc5/blob/master/test/unit/api/grammar_black.cpp
2021-05-03	Python API tests for terms -- Part 1 (#6468)	yoni206
	This PR removes the old python api tests for terms from test/api/python/test_term.py and replaces it with a new test file test/python/unit/api/test_term.py. The new test file is obtained by translating test/unit/api/term_black.cpp. In this PR I only include the tests that pass without requiring any change to the python API. The next PR will add functions to the python API that are currently not supported, along with corresponding tests. Comment: This was originally done in #6460 on the wrong fork. Now it is re-opened, and addresses all comments given there.
2021-04-21	Goodbye CVC4, hello cvc5! (#6371)	Mathias Preiner
	This commits changes the build system to cvc5 and removes the remaining occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
2021-04-20	python API sorts: adding functions and tests (#6361)	yoni206
	This PR does the following: 1. removes old python sort API test 2. creates a new python sort API test, obtained by translating the (entire) cpp unit test https://github.com/CVC4/CVC4/blob/master/test/unit/api/sort_black.cpp 3. adds support for bags and datatype selectors/testers domain/codomain in the python API.
2021-04-12	Refactor and update copyright headers. (#6316)	Aina Niemetz

2021-04-06	cmake: Add helper to check if a given Python module is installed. (#6299)	Mathias Preiner

2021-04-05	A proposal for python api unit tests (#6255)	yoni206
	This PR introduces two unit tests for the python api, translated directly from the unit tests for the cpp api. The goal is to get feedback in order to reach some kind of a pattern/style for python API tests. Also, i'd be happy to hear if there is any specific cpp api unit test I should translate for this initial attempt (e.g., a test that is more representative or might raise difficulties). For now i just picked the first two solver tests.