Page Menu
Home
Solus
Search
Configure Global Search
Log In
Files
F10996019
D12512.id30447.diff
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Flag For Later
Size
6 KB
Referenced Files
None
Subscribers
None
D12512.id30447.diff
View Options
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 @@
<Source>
<Name>z3</Name>
<Packager>
- <Name>Silke Hofstra</Name>
- <Email>silke@slxh.eu</Email>
+ <Name>Gavin Zhao</Name>
+ <Email>gavinzhaojw@protonmail.com</Email>
</Packager>
<License>MIT</License>
<PartOf>programming.library</PartOf>
@@ -21,7 +21,7 @@
<Files>
<Path fileType="executable">/usr/bin/z3</Path>
<Path fileType="library">/usr/lib64/libz3.so.4.8</Path>
- <Path fileType="library">/usr/lib64/libz3.so.4.8.12.0</Path>
+ <Path fileType="library">/usr/lib64/libz3.so.4.8.13.0</Path>
</Files>
</Package>
<Package>
@@ -31,7 +31,7 @@
</Description>
<PartOf>programming.devel</PartOf>
<RuntimeDependencies>
- <Dependency release="3">z3</Dependency>
+ <Dependency release="4">z3</Dependency>
</RuntimeDependencies>
<Files>
<Path fileType="header">/usr/include/z3++.h</Path>
@@ -57,12 +57,12 @@
</Files>
</Package>
<History>
- <Update release="3">
- <Date>2021-07-21</Date>
- <Version>4.8.12</Version>
+ <Update release="4">
+ <Date>2021-12-20</Date>
+ <Version>4.8.13</Version>
<Comment>Packaging update</Comment>
- <Name>Silke Hofstra</Name>
- <Email>silke@slxh.eu</Email>
+ <Name>Gavin Zhao</Name>
+ <Email>gavinzhaojw@protonmail.com</Email>
</Update>
</History>
</PISI>
\ No newline at end of file
File Metadata
Details
Attached
Mime Type
text/plain
Expires
Thu, Jul 27, 9:31 AM (2 w, 1 d ago)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
5809926
Default Alt Text
D12512.id30447.diff (6 KB)
Attached To
Mode
D12512: Update z3 to 4.8.13
Attached
Detach File
Event Timeline
Log In to Comment