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

Age	Commit message (Collapse)	Author
2019-08-26	Make contrib/get-* more robust. (#3198)	Mathias Preiner
	We use the command which to determine if a command is available on the system. However, which is not installed on all platforms by default (e.g. CentOS). command is a shell builtin that can be used for the same purpose.
2019-05-21	Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)	Martin
	Fixes #2932. fp.roundToIntegral was rounding some very small subnormals up to between 1 and 2, which is A. wrong and B. not idempotent. The corresponding symfpu update fixes this as it was an overflow caused by the unpacked significand not being able to represent an extra significand bits.
2018-10-19	Remove autotools build system. (#2639)	Mathias Preiner

2018-05-26	Update SymFPU. (#1992)	Mathias Preiner

2018-05-14	Add contrib/get-symfpu for downloading symfpu. (#1905)	Mathias Preiner