3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 01:54:08 +00:00
z3/src
Nikolaj Bjorner f7a6f3fa28 fix #2718
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-11-18 22:40:33 -08:00
..
ackermannization enhance ackermannize for constant arguments 2019-09-07 16:36:09 +03:00
api rename additional build options #2709 2019-11-18 21:32:35 -08:00
ast fix #2718 2019-11-18 22:40:33 -08:00
cmd_context consolidate model.compact and model_compress #2704 2019-11-15 11:07:08 -08:00
math fix #2659 2019-10-25 10:42:21 -07:00
model na 2019-11-18 12:03:59 -08:00
muz remove deprecated and bind1st and unused warnings 2019-11-08 13:26:50 -08:00
nlsat na 2019-10-25 10:42:21 -07:00
opt fix #2546, retrieve model in optsmt lex before iterating 2019-09-10 11:19:59 +02:00
parsers fix #2664 2019-10-28 05:11:46 -07:00
qe fix #2609 2019-10-02 14:40:11 -07:00
sat Improve platform detection, in particular MSVC ARM64 2019-10-24 15:19:53 -07:00
shell Fix compiler warnings 2019-10-28 14:15:25 +00:00
smt fix bug introduced when fixing #2721 2019-11-18 13:55:55 -08:00
solver consolidate model.compact and model_compress #2704 2019-11-15 11:07:08 -08:00
tactic fix #2720, unsound preprocessing in elim_uncnstr_tactic where datatype properties of eliminated subterms is forgotten 2019-11-18 13:34:45 -08:00
test address clang warnings 2019-11-11 07:16:46 -08:00
util fix for null symbol #2712 2019-11-18 12:55:24 -08:00
CMakeLists.txt rename additional build options #2709 2019-11-18 21:32:35 -08:00