Skip to content

Commit

Permalink
Why do i need to keep updating this!
Browse files Browse the repository at this point in the history
  • Loading branch information
@bannsec
bannsec committed Nov 20, 2017
1 parent df5b807 commit ba4bc65
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/z3
Submodule z3 updated 64 files
+1 −0 doc/CMakeLists.txt
+8 −0 doc/mk_api_doc.py
+2 −2 scripts/mk_project.py
+63 −22 scripts/mk_util.py
+112 −58 scripts/update_api.py
+13 −0 src/api/api_numeral.cpp
+25 −1 src/api/c++/z3++.h
+14 −0 src/api/dotnet/Context.cs
+17 −15 src/api/dotnet/Optimize.cs
+16 −16 src/api/java/Optimize.java
+8 −14 src/api/python/z3/z3.py
+8 −0 src/api/z3_api.h
+21 −50 src/ast/ast.cpp
+1 −0 src/ast/ast_smt2_pp.cpp
+1 −1 src/ast/fpa/bv2fpa_converter.cpp
+4 −2 src/ast/fpa/fpa2bv_converter.cpp
+2 −0 src/ast/rewriter/arith_rewriter.cpp
+1 −1 src/ast/rewriter/poly_rewriter_def.h
+1 −2 src/ast/rewriter/rewriter_def.h
+13 −81 src/duality/duality_rpfp.cpp
+1 −1 src/interp/iz3interp.cpp
+1 −1 src/interp/iz3translate.cpp
+12 −7 src/muz/base/dl_util.cpp
+1 −1 src/muz/base/dl_util.h
+30 −44 src/muz/dataflow/dataflow.h
+2 −2 src/muz/spacer/spacer_itp_solver.h
+0 −9 src/muz/spacer/spacer_util.h
+5 −4 src/muz/spacer/spacer_virtual_solver.cpp
+32 −28 src/muz/transforms/dl_mk_coi_filter.cpp
+3 −0 src/muz/transforms/dl_mk_interp_tail_simplifier.cpp
+8 −8 src/muz/transforms/dl_mk_rule_inliner.cpp
+14 −13 src/muz/transforms/dl_mk_slice.cpp
+29 −24 src/muz/transforms/dl_mk_subsumption_checker.cpp
+2 −1 src/opt/opt_solver.cpp
+27 −4 src/qe/qe_lite.cpp
+3 −3 src/sat/sat_solver/inc_sat_solver.cpp
+6 −3 src/smt/asserted_formulas.cpp
+1 −1 src/smt/params/smt_params_helper.pyg
+3 −2 src/smt/smt_context.cpp
+6 −1 src/smt/smt_context.h
+15 −26 src/smt/smt_solver.cpp
+3 −1 src/smt/theory_diff_logic_def.h
+89 −130 src/smt/theory_str.cpp
+5 −1 src/smt/theory_str.h
+1 −0 src/solver/CMakeLists.txt
+3 −2 src/solver/combined_solver.cpp
+2 −1 src/solver/solver.cpp
+8 −2 src/solver/solver.h
+320 −0 src/solver/solver_pool.cpp
+69 −0 src/solver/solver_pool.h
+3 −4 src/solver/tactic2solver.cpp
+2 −2 src/tactic/arith/diff_neq_tactic.cpp
+3 −3 src/tactic/bv/bv_size_reduction_tactic.cpp
+4 −3 src/tactic/bv/max_bv_sharing_tactic.cpp
+3 −2 src/tactic/core/propagate_values_tactic.cpp
+3 −3 src/tactic/core/simplify_tactic.cpp
+2 −3 src/tactic/portfolio/bounded_int2bv_solver.cpp
+2 −3 src/tactic/portfolio/enum2bv_solver.cpp
+2 −3 src/tactic/portfolio/pb2bv_solver.cpp
+4 −4 src/tactic/smtlogics/qfufbv_tactic.cpp
+28 −38 src/util/checked_int64.h
+1 −1 src/util/lp/lar_solver.h
+11 −0 src/util/stopwatch.h
+1 −0 src/util/union_find.h

0 comments on commit ba4bc65

Please sign in to comment.