Nuno Lopes 2db2767e7a remove unused method ... in preparation for a bigger storm :)		2021-02-14 23:31:24 +00:00
..
ackermannization	fix build, refactor	2021-02-02 05:26:57 -08:00
api	fix #4801	2021-02-12 20:20:00 -08:00
ast	remove unused method	2021-02-14 23:31:24 +00:00
cmd_context	remove ast_manager get_sort method entirely	2021-02-02 13:57:01 -08:00
math	fix build break	2021-01-31 22:56:42 -08:00
model	remove ast_manager get_sort method entirely	2021-02-02 13:57:01 -08:00
muz	remove template Context dependency in every trail object	2021-02-08 15:41:57 -08:00
nlsat	deal with warnings reported in https://launchpadlibrarian.net/522361319/buildlog_ubuntu-groovy-s390x.z3_4.8.10-1ubuntu4ppa1_BUILDING.txt.gz	2021-02-11 13:49:47 -08:00
opt	add new model event handler for incremental optimization	2021-02-05 17:11:04 -08:00
params	use unicode by default	2021-01-30 16:39:31 -08:00
parsers	fix build, refactor	2021-02-02 05:26:57 -08:00
qe	log classificaiton	2021-02-11 14:43:05 -08:00
sat	fix build, move seq_skolem	2021-02-14 14:40:29 -08:00
shell	refactor get_sort	2021-02-02 04:45:54 -08:00
smt	incorrect axiomatization	2021-02-14 15:29:10 -08:00
solver	Propagate reason for undef as exception to improve error reporting in scenarios such as #5009	2021-02-09 16:58:01 -08:00
tactic	fix #5002	2021-02-12 13:20:51 -08:00
test	remove ast_manager get_sort method entirely	2021-02-02 13:57:01 -08:00
util	fix multiplier base for #5022	2021-02-12 11:53:40 -08:00
CMakeLists.txt	mbp (#4741)	2020-10-21 15:48:40 -07:00