Nikolaj Bjorner 1616427792 add cmath ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2019-05-17 23:38:14 +03:00
..
ackermannization	simplifications to refs	2019-02-19 13:18:20 +00:00
api	update test	2019-05-16 23:48:46 +03:00
ast	select/map rewrite	2019-05-17 00:00:00 +03: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	add cmath	2019-05-17 23:38:14 +03:00
solver	add smt lookahead	2019-05-17 20:24:29 +03:00
tactic	track dependencies in context solve	2019-05-16 23:06:21 +03: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	Change from BINARY_DIR to PROJECT_BINARY_DIR	2019-05-15 11:25:40 -07:00