Clemens Eisenhofer 5ca53f37c0 Throw an exception if the variable in decide-callback is already assigned (#6362) ... * Memory leak in .NET user-propagator The user-propagator object has to be manually disposed (IDisposable), otherwise it stays in memory forever, as it cannot be garbage collected automatically * Throw an exception if variable passed to decide is already assigned instead of running in an assertion violation		2022-09-24 09:54:14 -07:00
..
ackermannization	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
api	Memory leak in .NET user-propagator (#6360)	2022-09-22 13:26:08 -05:00
ast	#6363	2022-09-23 14:32:01 -05:00
cmd_context	add missing override	2022-09-05 13:35:53 -07:00
math	fix #6341	2022-09-13 17:19:48 -07:00
model	add option to rewrite and for arithmetic simplification	2022-09-18 17:22:59 -07:00
muz	spacer: trying to make C++ happy	2022-09-01 15:44:22 -07:00
nlsat	address unused variable warnings	2022-08-28 18:50:54 -07:00
opt	#6319	2022-09-21 12:09:31 -07:00
params	updates to printer to get instantiations, take 1	2022-08-25 11:22:35 -07:00
parsers	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
qe	add verbose=1 log for mbp failure	2022-09-02 18:03:56 -07:00
sat	tracing for fpa	2022-09-23 22:48:54 -07:00
shell	#5261	2022-09-23 13:19:55 -05:00
smt	Throw an exception if the variable in decide-callback is already assigned (#6362)	2022-09-24 09:54:14 -07:00
solver	#6319	2022-09-23 22:22:34 -05:00
tactic	#6319	2022-09-23 22:22:34 -05:00
test	Spacer Global Guidance (#6026)	2022-08-30 15:47:00 -07:00
util	don't rename uint_set but keep the original name	2022-09-18 17:22:59 -07:00
CMakeLists.txt	#6319	2022-09-23 22:22:34 -05:00