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

Age	Commit message (Collapse)	Author
2021-04-09	Rename CVC4_ macros to CVC5_. (#6327)	Aina Niemetz

2021-03-05	Reimplement time limit mechanism for windows (#6049)	Gereon Kremer
	As noted in #5034, --tlimit is not working properly on windows. It turns out that the timer mechanism provided by the windows API are not suitable for our use case. Thus, this PR implements a generic std::thread-based timer mechanism which is used whenever the POSIX timers (setitimer) are not available. It also adds some documentation on the timer options and the reasons we ended up with this. Fixes #5034.
2021-03-04	Add proper define for libpoly usage (#6050)	Gereon Kremer
	When adding libpoly, we forgot to add a proper define to cvc4autoconfig and included real_algebraic_number.h everywhere to get this define. This PR introduces the CVC4_POLY_IMP define and removes all obsolete includes to real_algebraic_number.h.
2020-08-04	Add documentation and build instructions for recompilation (LGPL). (#4844)	Mathias Preiner

2020-07-17	Support for using 'libedit' over 'readline' #4571 (#4579)	Andrew V. Jones
	Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
2018-10-20	Remove antlr_undefines.h. (#2664)	Mathias Preiner
	Is not required anymore since we don't use autotools anymore.
2018-10-19	Remove autotools build system. (#2639)	Mathias Preiner