Margus Veanes 3fb226dcd6 added missing return statements, reordered def of compl to match declaration order of methods		2020-08-21 13:20:05 -07:00
..
ackermannization	add command-line help descriptions on tactics	2020-08-14 19:29:35 -07:00
api	merge	2020-08-21 12:14:28 -07:00
ast	added missing return statements, reordered def of compl to match declaration order of methods	2020-08-21 13:20:05 -07:00
cmd_context	add command-line help descriptions on tactics	2020-08-14 19:29:35 -07:00
math	fix #4640	2020-08-17 08:38:07 -07:00
model	tidy	2020-08-14 04:26:59 -07:00
muz	add accessors for implied values to API	2020-07-28 19:46:39 -07:00
nlsat	pass algebraic manager to arith-plugin mk-numeral because rational check may overwrite the argument using the current manager deals with crash as part of #4532	2020-07-26 17:52:28 -07:00
opt	fix #4624 #4633 #4632 #4631	2020-08-13 08:36:16 -07:00
parsers	fix #4594	2020-07-27 09:22:53 -07:00
qe	pass algebraic manager to arith-plugin mk-numeral because rational check may overwrite the argument using the current manager deals with crash as part of #4532	2020-07-26 17:52:28 -07:00
sat	update smt logging format to follow SAT solver	2020-08-20 20:00:20 -07:00
shell	add command-line help descriptions on tactics	2020-08-14 19:29:35 -07:00
smt	extended calculation of info for regexes, updated tracing of state_graph with regex info	2020-08-21 13:00:36 -07:00
solver	merge	2020-08-21 12:14:28 -07:00
tactic	fix #4648	2020-08-18 22:47:58 -07:00
test	fix a couple hundred deref-after-free bugs due to .c_str() on a temporary string	2020-07-11 20:24:45 +01:00
util	fix rlimit for clang-10 (#4658)	2020-08-21 10:34:10 -07:00
CMakeLists.txt	remove level of indirection for context and ast_manager in smt_theory (#4253)	2020-05-08 16:46:03 -07:00