Nils Becker 893e604593 generate rewrite proof object early on to avoid logging equality term twice		2019-05-11 17:34:53 +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	generate rewrite proof object early on to avoid logging equality term twice	2019-05-11 17:34:53 +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	fix #2242, move purify-arith down to after ite elimination	2019-05-09 11:55:00 +02:00
opt	fix #2210	2019-05-07 03:09:48 +02:00
parsers	update documentation	2019-03-29 08:41:31 -07:00
qe	one must answer the call of the master of compilers #2258	2019-05-07 05:49:16 +02: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	Merge pull request #2264 from Nils-Becker/master	2019-05-09 12:02:40 +02:00
solver	Require verbosity=1 to log parallel tactic progress	2019-04-09 12:35:04 -04:00
tactic	fix #2238	2019-05-08 10:15:57 +02: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