Nikolaj Bjorner 320d6640b1 ensure unfolding is increased with seq ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2019-11-30 18:32:19 -08:00
..
ackermannization	enhance ackermannize for constant arguments	2019-09-07 16:36:09 +03:00
api	Make z3::exception a subclass of std::exception	2019-11-25 11:55:37 -08:00
ast	fix #2762, fix #2750, add iterative unrolling to help on termination on sat instances (to address non-termination in #2759 and #2762)	2019-11-30 18:05:24 -08:00
cmd_context	consolidate model.compact and model_compress #2704	2019-11-15 11:07:08 -08:00
math	fix #2659	2019-10-25 10:42:21 -07:00
model	na	2019-11-18 12:03:59 -08:00
muz	clear memory on allocation to avoid msan warnings	2019-11-29 15:50:49 -08:00
nlsat	na	2019-10-25 10:42:21 -07:00
opt	fix #2546, retrieve model in optsmt lex before iterating	2019-09-10 11:19:59 +02:00
parsers	fix #2664	2019-10-28 05:11:46 -07:00
qe	fix #2609	2019-10-02 14:40:11 -07:00
sat	ensure relevancy isn't increased between calls	2019-11-23 15:42:44 -08:00
shell	Fix compiler warnings	2019-10-28 14:15:25 +00:00
smt	ensure unfolding is increased with seq	2019-11-30 18:32:19 -08:00
solver	consolidate model.compact and model_compress #2704	2019-11-15 11:07:08 -08:00
tactic	build warnings #2748	2019-11-28 15:36:54 -08:00
test	address clang warnings	2019-11-11 07:16:46 -08:00
util	fix #2761	2019-11-30 10:31:26 -08:00
CMakeLists.txt	fix #2708	2019-11-19 21:36:13 -08:00