Nikolaj Bjorner c012f6ea5b fix #2210 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2019-05-07 03:09:48 +02:00
..
ackermannization	simplifications to refs	2019-02-19 13:18:20 +00:00
api	fixing 2267	2019-05-06 15:31:55 +02:00
ast	fixing 2267	2019-05-06 15:31:55 +02:00
cmd_context	fix #2251 thanks to Clark	2019-04-27 09:44:18 -07:00
math	fixing 2267	2019-05-06 15:31:55 +02:00
model	allow empty string theory as a configuration option	2019-05-06 17:59:02 +02:00
muz	remove additional push/pop on fixedpoint	2019-04-27 13:56:16 -07:00
nlsat	na	2019-04-27 13:49:44 -07:00
opt	fix #2210	2019-05-07 03:09:48 +02:00
parsers	update documentation	2019-03-29 08:41:31 -07:00
qe	disable model compression for regressions	2019-03-03 12:40:59 -08:00
sat	address compilation warnings of unused parameters, add shorthands to set parameters on Optimize	2019-04-16 14:32:48 -07:00
shell	MSYS2 and cmake based compilation support for clang and gcc	2019-04-12 14:56:19 +02:00
smt	fix #2210	2019-05-07 03:09:48 +02:00
solver	Require verbosity=1 to log parallel tactic progress	2019-04-09 12:35:04 -04:00
tactic	fix #2253	2019-04-27 14:24:53 -07:00
test	fix the build lp.cpp in test	2019-03-19 19:45:33 -07:00
util	fix #2262	2019-04-30 19:04:02 -07: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