Nikolaj Bjorner ea9e2f6642 fix #2158 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2019-02-26 15:13:47 -08:00
..
ackermannization	simplifications to refs	2019-02-19 13:18:20 +00:00
api	add API for setting variable activity	2019-02-15 12:05:24 -08:00
ast	integrate some self-contained fixes from #2147	2019-02-24 14:21:34 -08:00
cmd_context	remove more references	2019-02-14 17:06:38 -08:00
math	fix #2120 fix #2122	2019-02-03 17:15:38 +01:00
model	fix #2129	2019-02-16 09:38:47 -08:00
muz	stopwatches: fix a few places that would call start/stop multiple times	2019-02-21 14:59:31 +00:00
nlsat	fix build break	2018-12-11 09:35:27 -08:00
opt	Merge branch 'master' of https://github.com/z3prover/z3	2019-02-25 18:14:47 -08:00
parsers	fix #2120 fix #2122	2019-02-03 17:15:38 +01:00
qe	fix #2158	2019-02-26 15:13:47 -08:00
sat	fix -Wsign-compare (len can never become negative anyway)	2019-02-23 10:57:41 +01:00
shell	simplify timeout mechanism and fix race conditions there	2019-02-21 11:49:41 +00:00
smt	Merge branch 'master' of https://github.com/z3prover/z3	2019-02-25 18:14:47 -08:00
solver	adding FP	2019-02-20 15:34:47 +01:00
tactic	fix detection of arithmetic operations	2019-02-20 14:00:05 +01:00
test	fix test build	2019-02-11 14:44:12 -08:00
util	integrate some self-contained fixes from #2147	2019-02-24 14:21:34 -08:00
CMakeLists.txt	rename version.h to z3_version.h to differentiate name in install include directory. Add support for z3_version.h in python build system. #1833	2018-09-21 20:13:58 -07:00