Nikolaj Bjorner 3a4a58ecfd Merge pull request #1541 from fmgoncalves/patch-1 ... Fix #1540 Remove extraneous function		2018-03-16 07:40:13 -07:00
..
ackermannization	Use nullptr.	2018-02-12 14:05:55 +07:00
api	Merge pull request #1541 from fmgoncalves/patch-1	2018-03-16 07:40:13 -07:00
ast	remove references to deprecated uses of PROOF_MODE #1531	2018-03-10 13:55:01 -05:00
cmd_context	fix #1510 by reintroducing automatic declaration of recognizers	2018-03-02 23:02:20 +09:00
duality	Use nullptr.	2018-02-12 14:05:55 +07:00
interp	Fix typos.	2018-03-09 14:30:43 +07:00
math	fix #1534	2018-03-12 13:21:31 -07:00
model	fix #1512	2018-03-02 20:14:59 +09:00
muz	Fix typos.	2018-03-09 14:30:43 +07:00
nlsat	Use nullptr.	2018-02-12 14:05:55 +07:00
opt	save last model to ensure it is available fixes #1514	2018-03-03 19:26:31 -08:00
parsers	fix #1510 by reintroducing automatic declaration of recognizers	2018-03-02 23:02:20 +09:00
qe	fix #1510 by reintroducing automatic declaration of recognizers	2018-03-02 23:02:20 +09:00
sat	don't reinit assumptions when the solver is unsat. fixes #1502	2018-02-24 16:30:08 +09:00
shell	Use nullptr.	2018-02-12 14:05:55 +07:00
smt	change lemma display utility to use updated pretty printer	2018-03-14 12:15:13 -07:00
solver	fix bugs found while running sample from #1112 in debug mode	2018-02-28 22:35:41 +09:00
tactic	remove references to deprecated uses of PROOF_MODE #1531	2018-03-10 13:55:01 -05:00
test	fix #1522	2018-03-07 14:26:38 -08:00
util	Add support for NetBSD	2018-03-13 21:59:35 +01:00
CMakeLists.txt	remove smtlib1 dependencies	2017-11-28 10:37:30 -08:00