Xiao Liang a1814bf384 doc.fix(ast/rewriter/poly_rewriter_params.pyg): typo som-of-monomials -> sum-of-monomials		2019-10-11 13:06:46 -07:00
..
ackermannization	enhance ackermannize for constant arguments	2019-09-07 16:36:09 +03:00
api	add visitor example, fix double conversion	2019-10-11 12:37:26 -07:00
ast	doc.fix(ast/rewriter/poly_rewriter_params.pyg): typo som-of-monomials -> sum-of-monomials	2019-10-11 13:06:46 -07:00
cmd_context	fix #2556, sign of of inequality is not restricted to -1, 0, 1, but can be -2, -3 etc	2019-09-14 19:41:01 -04:00
math	fix #2615	2019-10-06 19:00:14 -07:00
model	fix #2613 fix #2612	2019-10-05 16:57:51 -07:00
muz	fix #2548 fix #2530	2019-09-13 15:03:04 +02:00
nlsat	fix a few warnings	2019-10-09 14:09:33 +01:00
opt	fix #2546, retrieve model in optsmt lex before iterating	2019-09-10 11:19:59 +02:00
parsers	na	2019-10-02 21:06:41 -07:00
qe	fix #2609	2019-10-02 14:40:11 -07:00
sat	remove a few str copies when throwing exceptions	2019-10-08 22:29:17 +01:00
shell	remove setting timeout proc to null #2591	2019-09-27 06:48:17 -07:00
smt	z3str3: check for and re-internalize str.in.re terms	2019-10-11 09:25:30 -07:00
solver	remove separate API for setting solver log, use parameter setting instead	2019-10-09 09:01:17 -07:00
tactic	add back dotnet after adding ;*.cs to path	2019-10-07 20:07:55 -07:00
test	fix test build	2019-10-06 07:46:40 -07:00
util	fix #2623	2019-10-09 15:22:31 -07:00
CMakeLists.txt	Change from BINARY_DIR to PROJECT_BINARY_DIR	2019-05-15 11:25:40 -07:00