Nikolaj Bjorner 55f59364a3 cap memory consumption on int2bv tactic to 100MB ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2020-01-06 14:25:31 -08:00
..
ackermannization	enhance ackermannize for constant arguments	2019-09-07 16:36:09 +03:00
api	fix #2837 - expose test function that determines whether an AST is a string literal	2020-01-06 11:43:16 -08:00
ast	fix #2841	2020-01-06 11:05:00 -08:00
cmd_context	add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic	2020-01-01 20:14:20 -08:00
math	build warnings	2020-01-06 04:58:28 -08: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 #2841	2020-01-06 11:05:00 -08:00
parsers	fix #2797	2019-12-11 01:42:28 -08:00
qe	fix #2811	2019-12-20 15:27:38 -08:00
sat	fix weak hash function	2020-01-06 12:04:11 -08:00
shell	Fix compiler warnings	2019-10-28 14:15:25 +00:00
smt	use u_map in lar_term	2019-12-30 20:31:36 -08:00
solver	add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic	2020-01-01 20:14:20 -08:00
tactic	cap memory consumption on int2bv tactic to 100MB	2020-01-06 14:25:31 -08:00
test	fix unit test	2020-01-05 17:52:44 -08:00
util	build issues, add equivalence finding to probing (disabled)	2020-01-06 04:31:19 -08:00
CMakeLists.txt	na	2020-01-05 16:46:49 -08:00