Nuno Lopes bb7aa16223 stopwatch: fix debug build crash in sat solver		2019-02-21 16:38:48 +00: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	remove a few more inc/dec refs	2019-02-19 13:36:39 +00: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	removing unused and fixing suspect optimization	2019-02-16 21:26:29 -08:00
parsers	fix #2120 fix #2122	2019-02-03 17:15:38 +01:00
qe	fix #2061	2019-01-06 11:49:47 -08:00
sat	fix VS build, take 2	2019-02-21 15:52:52 +00:00
shell	simplify timeout mechanism and fix race conditions there	2019-02-21 11:49:41 +00:00
smt	stopwatches: fix a few places that would call start/stop multiple times	2019-02-21 14:59:31 +00: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	stopwatch: fix debug build crash in sat solver	2019-02-21 16:38:48 +00: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