diff --git a/MAINTAINERS.md b/MAINTAINERS.md --- a/MAINTAINERS.md +++ b/MAINTAINERS.md @@ -3,3 +3,6 @@ - Silke Hofstra - IRC: silkeh - Email: silke@slxh.eu +- Gavin Zhao + - Matrix: @gzgavinzhao:matrix.org + - Email: gavinzhaojw@protonmail.com diff --git a/abi_symbols b/abi_symbols --- a/abi_symbols +++ b/abi_symbols @@ -205,6 +205,8 @@ libz3.so.4.8:Z3_get_sort_kind libz3.so.4.8:Z3_get_sort_name libz3.so.4.8:Z3_get_string +libz3.so.4.8:Z3_get_string_contents +libz3.so.4.8:Z3_get_string_length libz3.so.4.8:Z3_get_symbol_int libz3.so.4.8:Z3_get_symbol_kind libz3.so.4.8:Z3_get_symbol_string @@ -237,6 +239,7 @@ libz3.so.4.8:Z3_is_algebraic_number libz3.so.4.8:Z3_is_app libz3.so.4.8:Z3_is_as_array +libz3.so.4.8:Z3_is_char_sort libz3.so.4.8:Z3_is_eq_ast libz3.so.4.8:Z3_is_eq_func_decl libz3.so.4.8:Z3_is_eq_sort @@ -304,6 +307,12 @@ libz3.so.4.8:Z3_mk_bvurem libz3.so.4.8:Z3_mk_bvxnor libz3.so.4.8:Z3_mk_bvxor +libz3.so.4.8:Z3_mk_char_from_bv +libz3.so.4.8:Z3_mk_char_is_digit +libz3.so.4.8:Z3_mk_char_le +libz3.so.4.8:Z3_mk_char_sort +libz3.so.4.8:Z3_mk_char_to_bv +libz3.so.4.8:Z3_mk_char_to_int libz3.so.4.8:Z3_mk_concat libz3.so.4.8:Z3_mk_config libz3.so.4.8:Z3_mk_const @@ -439,6 +448,7 @@ libz3.so.4.8:Z3_mk_quantifier_const libz3.so.4.8:Z3_mk_quantifier_const_ex libz3.so.4.8:Z3_mk_quantifier_ex +libz3.so.4.8:Z3_mk_re_allchar libz3.so.4.8:Z3_mk_re_complement libz3.so.4.8:Z3_mk_re_concat libz3.so.4.8:Z3_mk_re_empty @@ -459,6 +469,7 @@ libz3.so.4.8:Z3_mk_repeat libz3.so.4.8:Z3_mk_rotate_left libz3.so.4.8:Z3_mk_rotate_right +libz3.so.4.8:Z3_mk_sbv_to_str libz3.so.4.8:Z3_mk_select libz3.so.4.8:Z3_mk_select_n libz3.so.4.8:Z3_mk_seq_at @@ -506,6 +517,8 @@ libz3.so.4.8:Z3_mk_tree_order libz3.so.4.8:Z3_mk_true libz3.so.4.8:Z3_mk_tuple_sort +libz3.so.4.8:Z3_mk_u32string +libz3.so.4.8:Z3_mk_ubv_to_str libz3.so.4.8:Z3_mk_unary_minus libz3.so.4.8:Z3_mk_uninterpreted_sort libz3.so.4.8:Z3_mk_unsigned_int diff --git a/abi_used_symbols b/abi_used_symbols --- a/abi_used_symbols +++ b/abi_used_symbols @@ -2,6 +2,7 @@ libc.so.6:_Exit libc.so.6:__cxa_atexit libc.so.6:__isoc99_sscanf +libc.so.6:__libc_single_threaded libc.so.6:__libc_start_main libc.so.6:__printf_chk libc.so.6:__register_atfork @@ -75,6 +76,7 @@ libstdc++.so.6:_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareEmmRKS4_ libstdc++.so.6:_ZNKSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE3strEv libstdc++.so.6:_ZNKSt8__detail20_Prime_rehash_policy14_M_need_rehashEmmm +libstdc++.so.6:_ZNSdC2Ev libstdc++.so.6:_ZNSdD2Ev libstdc++.so.6:_ZNSi3getEv libstdc++.so.6:_ZNSi4readEPcl @@ -90,13 +92,13 @@ libstdc++.so.6:_ZNSo9_M_insertImEERSoT_ libstdc++.so.6:_ZNSo9_M_insertIxEERSoT_ libstdc++.so.6:_ZNSo9_M_insertIyEERSoT_ +libstdc++.so.6:_ZNSoC2Ev libstdc++.so.6:_ZNSolsEi libstdc++.so.6:_ZNSt12__basic_fileIcED1Ev libstdc++.so.6:_ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode libstdc++.so.6:_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv libstdc++.so.6:_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev libstdc++.so.6:_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev -libstdc++.so.6:_ZNSt13basic_fstreamIcSt11char_traitsIcEEC1EPKcSt13_Ios_Openmode libstdc++.so.6:_ZNSt14basic_ifstreamIcSt11char_traitsIcEEC1EPKcSt13_Ios_Openmode libstdc++.so.6:_ZNSt14basic_ifstreamIcSt11char_traitsIcEED1Ev libstdc++.so.6:_ZNSt14basic_ofstreamIcSt11char_traitsIcEEC1ERKNSt7__cxx1112basic_stringIcS1_SaIcEEESt13_Ios_Openmode @@ -146,6 +148,7 @@ libstdc++.so.6:_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E libstdc++.so.6:_ZNSt9basic_iosIcSt11char_traitsIcEE5clearESt12_Ios_Iostate libstdc++.so.6:_ZNSt9basic_iosIcSt11char_traitsIcEE7copyfmtERKS2_ +libstdc++.so.6:_ZNSt9basic_iosIcSt11char_traitsIcEEC2Ev libstdc++.so.6:_ZNSt9exceptionD2Ev libstdc++.so.6:_ZSt11_Hash_bytesPKvmm libstdc++.so.6:_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_l @@ -163,6 +166,7 @@ libstdc++.so.6:_ZSt24__throw_out_of_range_fmtPKcz libstdc++.so.6:_ZSt25__throw_bad_function_callv libstdc++.so.6:_ZSt28_Rb_tree_rebalance_for_erasePSt18_Rb_tree_node_baseRS_ +libstdc++.so.6:_ZSt28__throw_bad_array_new_lengthv libstdc++.so.6:_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_ libstdc++.so.6:_ZSt3cin libstdc++.so.6:_ZSt4cerr @@ -210,7 +214,6 @@ libstdc++.so.6:__cxa_guard_abort libstdc++.so.6:__cxa_guard_acquire libstdc++.so.6:__cxa_guard_release -libstdc++.so.6:__cxa_pure_virtual libstdc++.so.6:__cxa_rethrow libstdc++.so.6:__cxa_throw libstdc++.so.6:__dynamic_cast diff --git a/package.yml b/package.yml --- a/package.yml +++ b/package.yml @@ -1,8 +1,8 @@ name : z3 -version : 4.8.12 -release : 3 +version : 4.8.13 +release : 4 source : - - https://github.com/Z3Prover/z3/archive/z3-4.8.12.tar.gz : e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 + - https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.13.tar.gz : 59a0b35711fa7ae48dd535116d2067a6a16955fcbf2623c516a3f630cd2832d8 license : MIT component : programming.library summary : The Z3 Theorem Prover diff --git a/pspec_x86_64.xml b/pspec_x86_64.xml --- a/pspec_x86_64.xml +++ b/pspec_x86_64.xml @@ -2,8 +2,8 @@ z3 - Silke Hofstra - silke@slxh.eu + Gavin Zhao + gavinzhaojw@protonmail.com MIT programming.library @@ -21,7 +21,7 @@ /usr/bin/z3 /usr/lib64/libz3.so.4.8 - /usr/lib64/libz3.so.4.8.12.0 + /usr/lib64/libz3.so.4.8.13.0 @@ -31,7 +31,7 @@ programming.devel - z3 + z3 /usr/include/z3++.h @@ -57,12 +57,12 @@ - - 2021-07-21 - 4.8.12 + + 2021-12-20 + 4.8.13 Packaging update - Silke Hofstra - silke@slxh.eu + Gavin Zhao + gavinzhaojw@protonmail.com \ No newline at end of file