Page MenuHomeSolus
Files F10841036

D11454.id27703.diff
No OneTemporary
Actions

D11454.id27703.diff
View Options

diff --git a/abi_used_libs b/abi_used_libs
--- a/abi_used_libs
+++ b/abi_used_libs
@@ -1,4 +1,3 @@
-UNKNOWN
libc.so.6
libgcc_s.so.1
libm.so.6
diff --git a/abi_used_symbols b/abi_used_symbols
--- a/abi_used_symbols
+++ b/abi_used_symbols
@@ -1,76 +1,3 @@
-UNKNOWN:Z3_dec_ref
-UNKNOWN:Z3_del_config
-UNKNOWN:Z3_del_context
-UNKNOWN:Z3_get_error_code
-UNKNOWN:Z3_get_error_msg
-UNKNOWN:Z3_get_sort
-UNKNOWN:Z3_get_sort_kind
-UNKNOWN:Z3_inc_ref
-UNKNOWN:Z3_is_re_sort
-UNKNOWN:Z3_is_seq_sort
-UNKNOWN:Z3_mk_add
-UNKNOWN:Z3_mk_and
-UNKNOWN:Z3_mk_bvadd
-UNKNOWN:Z3_mk_bvmul
-UNKNOWN:Z3_mk_bvsdiv
-UNKNOWN:Z3_mk_bvsge
-UNKNOWN:Z3_mk_bvsgt
-UNKNOWN:Z3_mk_bvsle
-UNKNOWN:Z3_mk_bvslt
-UNKNOWN:Z3_mk_bvsmod
-UNKNOWN:Z3_mk_bvsub
-UNKNOWN:Z3_mk_concat
-UNKNOWN:Z3_mk_config
-UNKNOWN:Z3_mk_const
-UNKNOWN:Z3_mk_context_rc
-UNKNOWN:Z3_mk_distinct
-UNKNOWN:Z3_mk_div
-UNKNOWN:Z3_mk_eq
-UNKNOWN:Z3_mk_false
-UNKNOWN:Z3_mk_fpa_add
-UNKNOWN:Z3_mk_fpa_div
-UNKNOWN:Z3_mk_fpa_geq
-UNKNOWN:Z3_mk_fpa_gt
-UNKNOWN:Z3_mk_fpa_leq
-UNKNOWN:Z3_mk_fpa_lt
-UNKNOWN:Z3_mk_fpa_mul
-UNKNOWN:Z3_mk_fpa_numeral_double
-UNKNOWN:Z3_mk_fpa_rna
-UNKNOWN:Z3_mk_fpa_rne
-UNKNOWN:Z3_mk_fpa_rtn
-UNKNOWN:Z3_mk_fpa_rtp
-UNKNOWN:Z3_mk_fpa_rtz
-UNKNOWN:Z3_mk_fpa_sort
-UNKNOWN:Z3_mk_fpa_sub
-UNKNOWN:Z3_mk_ge
-UNKNOWN:Z3_mk_gt
-UNKNOWN:Z3_mk_int
-UNKNOWN:Z3_mk_int2real
-UNKNOWN:Z3_mk_int64
-UNKNOWN:Z3_mk_int_sort
-UNKNOWN:Z3_mk_ite
-UNKNOWN:Z3_mk_le
-UNKNOWN:Z3_mk_lt
-UNKNOWN:Z3_mk_mod
-UNKNOWN:Z3_mk_mul
-UNKNOWN:Z3_mk_numeral
-UNKNOWN:Z3_mk_or
-UNKNOWN:Z3_mk_power
-UNKNOWN:Z3_mk_re_concat
-UNKNOWN:Z3_mk_re_union
-UNKNOWN:Z3_mk_real_sort
-UNKNOWN:Z3_mk_seq_concat
-UNKNOWN:Z3_mk_solver
-UNKNOWN:Z3_mk_string_symbol
-UNKNOWN:Z3_mk_sub
-UNKNOWN:Z3_mk_true
-UNKNOWN:Z3_set_ast_print_mode
-UNKNOWN:Z3_set_error_handler
-UNKNOWN:Z3_solver_assert
-UNKNOWN:Z3_solver_check
-UNKNOWN:Z3_solver_dec_ref
-UNKNOWN:Z3_solver_inc_ref
-UNKNOWN:Z3_solver_to_string
libc.so.6:__cxa_atexit
libc.so.6:__errno_location
libc.so.6:__fdelt_chk
@@ -149,7 +76,6 @@
libc.so.6:strtod
libc.so.6:strtoimax
libc.so.6:strtol
-libc.so.6:strtoul
libc.so.6:strtoull
libc.so.6:syscall
libc.so.6:time
@@ -275,6 +201,7 @@
libstdc++.so.6:_ZSt18_Rb_tree_decrementPSt18_Rb_tree_node_base
libstdc++.so.6:_ZSt18_Rb_tree_incrementPKSt18_Rb_tree_node_base
libstdc++.so.6:_ZSt18_Rb_tree_incrementPSt18_Rb_tree_node_base
+libstdc++.so.6:_ZSt18uncaught_exceptionv
libstdc++.so.6:_ZSt19__throw_logic_errorPKc
libstdc++.so.6:_ZSt20__throw_length_errorPKc
libstdc++.so.6:_ZSt20__throw_out_of_rangePKc
@@ -330,3 +257,76 @@
libstdc++.so.6:__cxa_throw_bad_array_new_length
libstdc++.so.6:__dynamic_cast
libstdc++.so.6:__gxx_personality_v0
+libz3.so.4.8:Z3_dec_ref
+libz3.so.4.8:Z3_del_config
+libz3.so.4.8:Z3_del_context
+libz3.so.4.8:Z3_get_error_code
+libz3.so.4.8:Z3_get_error_msg
+libz3.so.4.8:Z3_get_sort
+libz3.so.4.8:Z3_get_sort_kind
+libz3.so.4.8:Z3_inc_ref
+libz3.so.4.8:Z3_is_re_sort
+libz3.so.4.8:Z3_is_seq_sort
+libz3.so.4.8:Z3_mk_add
+libz3.so.4.8:Z3_mk_and
+libz3.so.4.8:Z3_mk_bvadd
+libz3.so.4.8:Z3_mk_bvmul
+libz3.so.4.8:Z3_mk_bvsdiv
+libz3.so.4.8:Z3_mk_bvsge
+libz3.so.4.8:Z3_mk_bvsgt
+libz3.so.4.8:Z3_mk_bvsle
+libz3.so.4.8:Z3_mk_bvslt
+libz3.so.4.8:Z3_mk_bvsmod
+libz3.so.4.8:Z3_mk_bvsub
+libz3.so.4.8:Z3_mk_concat
+libz3.so.4.8:Z3_mk_config
+libz3.so.4.8:Z3_mk_const
+libz3.so.4.8:Z3_mk_context_rc
+libz3.so.4.8:Z3_mk_distinct
+libz3.so.4.8:Z3_mk_div
+libz3.so.4.8:Z3_mk_eq
+libz3.so.4.8:Z3_mk_false
+libz3.so.4.8:Z3_mk_fpa_add
+libz3.so.4.8:Z3_mk_fpa_div
+libz3.so.4.8:Z3_mk_fpa_geq
+libz3.so.4.8:Z3_mk_fpa_gt
+libz3.so.4.8:Z3_mk_fpa_leq
+libz3.so.4.8:Z3_mk_fpa_lt
+libz3.so.4.8:Z3_mk_fpa_mul
+libz3.so.4.8:Z3_mk_fpa_numeral_double
+libz3.so.4.8:Z3_mk_fpa_rna
+libz3.so.4.8:Z3_mk_fpa_rne
+libz3.so.4.8:Z3_mk_fpa_rtn
+libz3.so.4.8:Z3_mk_fpa_rtp
+libz3.so.4.8:Z3_mk_fpa_rtz
+libz3.so.4.8:Z3_mk_fpa_sort
+libz3.so.4.8:Z3_mk_fpa_sub
+libz3.so.4.8:Z3_mk_ge
+libz3.so.4.8:Z3_mk_gt
+libz3.so.4.8:Z3_mk_int
+libz3.so.4.8:Z3_mk_int2real
+libz3.so.4.8:Z3_mk_int64
+libz3.so.4.8:Z3_mk_int_sort
+libz3.so.4.8:Z3_mk_ite
+libz3.so.4.8:Z3_mk_le
+libz3.so.4.8:Z3_mk_lt
+libz3.so.4.8:Z3_mk_mod
+libz3.so.4.8:Z3_mk_mul
+libz3.so.4.8:Z3_mk_numeral
+libz3.so.4.8:Z3_mk_or
+libz3.so.4.8:Z3_mk_power
+libz3.so.4.8:Z3_mk_re_concat
+libz3.so.4.8:Z3_mk_re_union
+libz3.so.4.8:Z3_mk_real_sort
+libz3.so.4.8:Z3_mk_seq_concat
+libz3.so.4.8:Z3_mk_solver
+libz3.so.4.8:Z3_mk_string_symbol
+libz3.so.4.8:Z3_mk_sub
+libz3.so.4.8:Z3_mk_true
+libz3.so.4.8:Z3_set_ast_print_mode
+libz3.so.4.8:Z3_set_error_handler
+libz3.so.4.8:Z3_solver_assert
+libz3.so.4.8:Z3_solver_check
+libz3.so.4.8:Z3_solver_dec_ref
+libz3.so.4.8:Z3_solver_inc_ref
+libz3.so.4.8:Z3_solver_to_string
diff --git a/package.yml b/package.yml
--- a/package.yml
+++ b/package.yml
@@ -1,8 +1,8 @@
name : cppcheck
-version : '2.4'
-release : 14
+version : '2.5'
+release : 15
source :
- - https://github.com/danmar/cppcheck/archive/2.4.1.tar.gz : 11a9d9fe5305a105561655c45d2cd83cb30fbc87b41d0569de1b00a1a314867f
+ - https://github.com/danmar/cppcheck/archive/2.5.tar.gz : dc27154d799935c96903dcc46653c526c6f4148a6912b77d3a50cb35dabd82e1
license : GPL-3.0-or-later
component : programming.tools
summary : Static source code analysis tool for C and C++ code
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>cppcheck</Name>
<Packager>
- <Name>Joshua Strobl</Name>
- <Email>joshua@getsol.us</Email>
+ <Name>Silke Hofstra</Name>
+ <Email>silke@slxh.eu</Email>
</Packager>
<License>GPL-3.0-or-later</License>
<PartOf>programming.tools</PartOf>
@@ -39,6 +39,7 @@
<Path fileType="data">/usr/share/Cppcheck/cfg/cppcheck-lib.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/cppunit.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/daca.cfg</Path>
+ <Path fileType="data">/usr/share/Cppcheck/cfg/dpdk.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/embedded_sql.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/emscripten.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/ginac.cfg</Path>
@@ -72,6 +73,7 @@
<Path fileType="data">/usr/share/Cppcheck/cfg/sqlite3.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/std.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/tinyxml2.cfg</Path>
+ <Path fileType="data">/usr/share/Cppcheck/cfg/vcl.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/windows.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/wxsqlite3.cfg</Path>
<Path fileType="data">/usr/share/Cppcheck/cfg/wxsvg.cfg</Path>
@@ -95,12 +97,12 @@
</Files>
</Package>
<History>
- <Update release="14">
- <Date>2021-06-22</Date>
- <Version>2.4</Version>
+ <Update release="15">
+ <Date>2021-07-10</Date>
+ <Version>2.5</Version>
<Comment>Packaging update</Comment>
- <Name>Joshua Strobl</Name>
- <Email>joshua@getsol.us</Email>
+ <Name>Silke Hofstra</Name>
+ <Email>silke@slxh.eu</Email>
</Update>
</History>
</PISI>
\ No newline at end of file

File Metadata

Mime Type
text/plain
Expires
Jun 11 2023, 4:17 AM (8 w, 5 d ago)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
5809935
Default Alt Text
D11454.id27703.diff (7 KB)

Event Timeline

Copyright © 2015-2021 Solus Project. The Solus logo is Copyright © 2016-2021 Solus Project. All Rights Reserved.