3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
z3/src
2017-02-23 18:33:10 -05:00
..
ackermannization Adding translation to ackr_model_converter. 2016-06-06 18:06:45 +01:00
api use non _ method from z3printer module so to be resilient against how _ is handled as indicator of private functions 2017-02-15 08:46:58 -08:00
ast C-style octal escapes, including 1- and 2-digit escapes 2017-02-23 18:33:10 -05:00
cmd_context Merge pull request #881 from dwoos/tactic-labels 2017-02-04 20:37:11 +00:00
duality address warnings from #836 2016-12-10 13:14:36 +01:00
interp fix build failures under linux 2016-07-09 13:28:39 -07:00
math remove polynomial factorization as suggested by issue #852 2017-01-09 21:30:54 -08:00
model bail out on failure to properly project 2016-12-11 04:23:07 +01:00
muz fix memory leaks from cancellations 2017-01-15 20:09:27 -08:00
nlsat fixing unsat core extraction for tactics 2016-11-02 14:14:55 +00:00
opt Merge branch 'master' of https://github.com/Z3Prover/z3 2017-02-02 10:19:21 -08:00
parsers Added filenames to error messages for when we have more than one file. 2017-01-16 15:43:13 +00:00
qe remove nested booleans during pre-processing. issue #837 2016-12-11 05:16:31 +01:00
sat Merge branch 'master' of https://github.com/Z3Prover/z3 2017-02-02 10:19:21 -08:00
shell fix bug in lexicographic handling in maxres: previous assumptions were not committed in corner cases 2017-02-02 10:19:11 -08:00
smt fix model generation for non-linear expressions, reported by Martin Suda and Giles Reger 2017-02-11 12:02:32 -05:00
solver Merge pull request #881 from dwoos/tactic-labels 2017-02-04 20:37:11 +00:00
tactic Fixed model-converter segfault in ::check_sat. Relates to #881 2017-02-05 17:53:44 +00:00
test Removed polynomial factorization test cases. Relates to #852 and fixes #865. 2017-01-10 14:02:59 +00:00
util adding parallel threads 2017-01-30 02:09:08 -08:00