up to 3.1+20250106 & llvm14

OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=144

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
                 <param name="url">https://github.com/klee/klee</param>
-              <param name="changesrevision">c4bbdcd160379e5926b4d19c925215b3013b6275</param></service></servicedata>
+              <param name="changesrevision">1a7051635daf33d666fd03b4a793c0a81a4897e3</param></service></servicedata>

klee-3.1+20241105.obscpio

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:f0b3beef3f363b690963e8d271b18ccd44c82a21b7e8ff9a9712f786b56c5fa9
-size 19211277

klee-3.1+20250106.obscpio

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:76ed15ee378cc00dbf7d69ac5cfc154738294d4d8ccd33a3ad5b43c738115e6a
+size 19223053

klee.changes

@@ -1,3 +1,17 @@
+-------------------------------------------------------------------
+Mon Feb 03 12:05:59 UTC 2025 - jslaby@suse.cz
+
+- Update to version 3.1+20250106:
+  * Freestanding fortify implementation
+  * Freestanding intrinsic implementation
+  * Freestanding klee-libc implementation
+  * Freestanding runtime implementation
+  * Freestanding errno implementation (falls back to host when available)
+  * Define _LARGEFILE64_SOURCE at the beginning of necessary files
+  * Add an option to generate XML test cases
+  * fix ASan support for GCC 14 (and modernize it)
+- switch to llvm 14, as llvm 16 is used solely by klee
+
 -------------------------------------------------------------------
 Mon Dec 09 07:10:04 UTC 2024 - jslaby@suse.cz
 

klee.obsinfo

@@ -1,4 +1,4 @@
 name: klee
-version: 3.1+20241105
-mtime: 1730820864
-commit: c4bbdcd160379e5926b4d19c925215b3013b6275
+version: 3.1+20250106
+mtime: 1736168884
+commit: 1a7051635daf33d666fd03b4a793c0a81a4897e3

klee.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package klee
 #
-# Copyright (c) 2024 SUSE LLC
+# Copyright (c) 2025 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -16,7 +16,7 @@
 #
 
 
-%define llvm_version 16
+%define llvm_version 14
 
 %ifarch x86_64
 %define with_uclibc 1
@@ -30,7 +30,7 @@ Name:           klee
 Summary:        LLVM Execution Engine
 License:        NCSA
 Group:          Development/Languages/Other
-Version:        3.1+20241105
+Version:        3.1+20250106
 Release:        0
 URL:            http://klee.github.io/
 Source0:        %{name}-%{version}.tar.xz