Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2026-03-30 18:32:26 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.1999 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Mon Mar 30 18:32:26 2026 rev:45 rq:1343596 version:3.2+20260221 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2025-06-26 11:39:43.622788493 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new.1999/klee.changes 2026-03-30 18:36:05.307071574 +0200 @@ -1,0 +2,17 @@ +Mon Mar 30 07:37:05 UTC 2026 - Jiri Slaby <[email protected]> + +- Update to version 3.2+20260221: + * InstructionInfoTable: add missing cstdint include + * find_z3.cmake: Remove old unused code + * Set KLEE version to 3.3-pre + * Release notes for KLEE 3.2 + * Update KLEE version + * Added test case where an array > 2^32 becomes symbolic + * Disallow arrays > 2^32 bytes to become symbolic at a symbolic read or write + * Added test where klee_make_symbolic is called on an object > 4 GiB + * Improve the warning message for large allocations. + * Terminate the state if an object > 4 GiB is made symbolic + * Fixed the types dealing with object sizes and offsets +- switch to tar_scm, given we are on git + +------------------------------------------------------------------- Old: ---- klee-3.1+20250502.obscpio klee.obsinfo New: ---- klee-3.2+20260221.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.jt0pvD/_old 2026-03-30 18:36:06.203109035 +0200 +++ /var/tmp/diff_new_pack.jt0pvD/_new 2026-03-30 18:36:06.207109203 +0200 @@ -30,7 +30,7 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 3.1+20250502 +Version: 3.2+20260221 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz ++++++ 0001-include-cstdint-when-required.patch ++++++ --- /var/tmp/diff_new_pack.jt0pvD/_old 2026-03-30 18:36:06.235110373 +0200 +++ /var/tmp/diff_new_pack.jt0pvD/_new 2026-03-30 18:36:06.239110541 +0200 @@ -17,27 +17,14 @@ Signed-off-by: Jiri Slaby <[email protected]> --- - include/klee/Module/InstructionInfoTable.h | 1 + - include/klee/Support/CompressionStream.h | 1 + - include/klee/Support/FileHandling.h | 2 ++ - include/klee/Support/PrintVersion.h | 2 ++ - include/klee/System/Time.h | 1 + - lib/Module/Passes.h | 1 + - lib/Support/TreeStream.cpp | 1 + - 7 files changed, 9 insertions(+) + include/klee/Support/CompressionStream.h | 1 + + include/klee/Support/FileHandling.h | 2 ++ + include/klee/Support/PrintVersion.h | 2 ++ + include/klee/System/Time.h | 1 + + lib/Module/Passes.h | 1 + + lib/Support/TreeStream.cpp | 1 + + 6 files changed, 8 insertions(+) -diff --git a/include/klee/Module/InstructionInfoTable.h b/include/klee/Module/InstructionInfoTable.h -index 3ba9528ce6f8..b6d05de58e17 100644 ---- a/include/klee/Module/InstructionInfoTable.h -+++ b/include/klee/Module/InstructionInfoTable.h -@@ -10,6 +10,7 @@ - #ifndef KLEE_INSTRUCTIONINFOTABLE_H - #define KLEE_INSTRUCTIONINFOTABLE_H - -+#include <cstdint> - #include <memory> - #include <string> - #include <unordered_map> diff --git a/include/klee/Support/CompressionStream.h b/include/klee/Support/CompressionStream.h index bc9119dd1578..330490f4bc65 100644 --- a/include/klee/Support/CompressionStream.h @@ -89,7 +76,7 @@ DISABLE_WARNING_PUSH DISABLE_WARNING_DEPRECATED_DECLARATIONS diff --git a/lib/Module/Passes.h b/lib/Module/Passes.h -index 6878a8b6d482..bbe9ecd4c916 100644 +index c7bd22524f2c..6cc26bc511ac 100644 --- a/lib/Module/Passes.h +++ b/lib/Module/Passes.h @@ -12,6 +12,7 @@ @@ -113,6 +100,6 @@ #include <string.h> -- -2.50.0 +2.53.0 ++++++ _scmsync.obsinfo ++++++ --- /var/tmp/diff_new_pack.jt0pvD/_old 2026-03-30 18:36:06.279112213 +0200 +++ /var/tmp/diff_new_pack.jt0pvD/_new 2026-03-30 18:36:06.283112381 +0200 @@ -1,4 +1,4 @@ -mtime: 1750840095 -commit: 7b8913a2df4ed2fb61b83e4bea88f3acbacdcb09cacfc045d9aeb1d2395eea08 +mtime: 1774858164 +commit: 66aed72654ff137eb6fedc1808595979c9180f462bc2b5566207b0a6bff55c9e url: https://src.opensuse.org/jirislaby/d-t-s-klee ++++++ _service ++++++ --- /var/tmp/diff_new_pack.jt0pvD/_old 2026-03-30 18:36:06.307113384 +0200 +++ /var/tmp/diff_new_pack.jt0pvD/_new 2026-03-30 18:36:06.315113719 +0200 @@ -1,5 +1,5 @@ <services> - <service name="obs_scm" mode="manual"> + <service name="tar_scm" mode="manual"> <param name="url">https://github.com/klee/klee</param> <param name="scm">git</param> <param name="changesgenerate">enable</param> @@ -9,8 +9,7 @@ </service> <service name="set_version" mode="manual" /> - <service name="tar" mode="buildtime"/> - <service name="recompress" mode="buildtime"> + <service name="recompress" mode="manual"> <param name="file">klee-*.tar</param> <param name="compression">xz</param> </service> ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.jt0pvD/_old 2026-03-30 18:36:06.343114889 +0200 +++ /var/tmp/diff_new_pack.jt0pvD/_new 2026-03-30 18:36:06.347115056 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/klee/klee</param> - <param name="changesrevision">492800921e47141d509736f97731f2985c09704d</param></service></servicedata> + <param name="changesrevision">efa1e0529499f954885489d30210dfc7a3697258</param></service></servicedata> (No newline at EOF) ++++++ build.specials.obscpio ++++++ ++++++ build.specials.obscpio ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/.gitignore new/.gitignore --- old/.gitignore 1970-01-01 01:00:00.000000000 +0100 +++ new/.gitignore 2026-03-30 10:09:34.000000000 +0200 @@ -0,0 +1 @@ +.osc
