Christoph M. Wintersteiger d7639557d2 FPA: added rewriting and fpa2bv conversion rules for new operations. ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>		2013-06-07 18:03:46 +01:00
..
api	fix reference count bugs in overflow/underflow APIs for bit-vectors	2013-06-02 20:54:01 -07:00
ast	FPA: added rewriting and fpa2bv conversion rules for new operations.	2013-06-07 18:03:46 +01:00
cmd_context	remove hassel table from unstable: does not compile under other plantforms	2013-05-31 17:48:19 -07:00
math	remove hassel table from unstable: does not compile under other plantforms	2013-05-31 17:48:19 -07:00
model	Fix bug reported at http://stackoverflow.com/questions/15226944/segmentation-fault-in-z3	2013-03-05 09:04:03 -08:00
muz_qe	fix bugs reported by Nuno Lopes	2013-06-04 12:55:35 -07:00
nlsat	Add nlsat.factor option. This is a workaround for the slow factorization procedure.	2013-01-02 21:18:02 -08:00
parsers	fix bugs reported by Filip Konecny <filip.konecny@epfl.ch> in PDR	2013-04-25 13:39:11 -07:00
sat	Fix issue https://z3.codeplex.com/workitem/38	2013-06-06 13:20:43 -07:00
shell	addressing race condition on interrupts	2013-06-02 12:02:35 -07:00
smt	fix reference count bugs in overflow/underflow APIs for bit-vectors	2013-06-02 20:55:15 -07:00
solver	Fix memout detected in nightly regressions	2012-12-15 13:26:11 -08:00
tactic	FPA: added rewriting and fpa2bv conversion rules for new operations.	2013-06-07 18:03:46 +01:00
test	fix a few compilation warnings	2013-04-21 14:36:39 -07:00
util	fix bugs reported by Nuno Lopes	2013-06-04 12:55:35 -07:00