3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-09 10:51:50 +00:00
z3/src
Nikolaj Bjorner 620c11932b type check distinct operator. fixes #62
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
2015-04-27 11:10:37 -07:00
..
api comments fix 2015-04-24 15:37:45 +01:00
ast type check distinct operator. fixes #62 2015-04-27 11:10:37 -07:00
cmd_context re-indenting interp and duality 2015-04-15 12:22:50 -07:00
duality re-indenting interp and duality 2015-04-15 12:22:50 -07:00
interp fixed interp api bug (github issue #47) 2015-04-20 12:30:15 -07:00
math fix race condition from cancellation exposed by build regression tests 2015-04-15 05:44:10 +01:00
model Bugfix in model translation (ast_manager mismatch after par-or). Thanks to stackoverflow user user297886 for reporting this issue. 2015-03-04 18:30:06 +00:00
muz re-indenting interp and duality 2015-04-15 12:22:50 -07:00
nlsat Removed unnecessary variables and added initialization to others to silence warnings. 2015-02-07 14:47:26 +00:00
parsers parse also bit-vector constants with set-info. Reported by David Cok 2014-03-19 20:30:58 -07:00
qe Fixed integration issues 2015-01-21 15:34:21 +00:00
sat save memory in the sat solver to tentatively speed things up. 2015-03-02 09:50:35 +00:00
shell undid previous fix 2015-02-05 19:02:35 +00:00
smt simplify with caching, but without expanding number of asserted formulas. Bug reported by Heizmann, codeplex issue 197 2015-04-02 10:28:30 -07:00
solver Bugfix and new examples for implicit assumptions in Z3_solver_assert_and_track. Thanks to Amir Ebrahimi for reporting this issue! 2015-02-18 16:25:27 +00:00
tactic fix crash reported by Jojanovich, github issue 45' 2015-04-20 00:55:30 +02:00
test type check distinct operator. fixes #62 2015-04-27 11:10:37 -07:00
util Bugfix for MPF unpacking 2015-04-25 14:26:18 +01:00