Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2020-08-14 09:32:53 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.3399 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Fri Aug 14 09:32:53 2020 rev:22 rq:826246 version:2.1+20200730 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2020-06-16 13:46:34.670202337 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new.3399/klee.changes 2020-08-14 09:34:32.244435575 +0200 @@ -1,0 +2,22 @@ +Thu Aug 06 09:35:38 UTC 2020 - [email protected] + +- Update to version 2.1+20200730: + * introduce --rng-initial-seed=<unsigned> + * remove holes in Instruction-/FunctionInfoTable, add documentation + * Clean-up and add documentation + * Remove state contructor with constraints + * Use constraint sets and separate metadata for timing solver invocation + * Separate constraint set and constraint manager + * Move constraint implementation from header to cpp files + * Enable subsets for RandomPathSearcher + * [PTree] Replace left/right with PointerIntPair + * Implement fshr/fshl intrinsics + * Switch to a more recent version of SQLite in the CI + * Enforce fork/branch limits in branch() and fix double termination + * fix Executor: initializeGlobalAliases + * ExecutorUtil: assert that GlobalValue is already known + * add simple unknown bitcast alias test from the original issue + * and more +- switch to obs_scm + +------------------------------------------------------------------- Old: ---- klee-2.1+20200606.tar.xz New: ---- klee-2.1+20200730.obscpio klee.obsinfo ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.BdDB48/_old 2020-08-14 09:34:32.980435952 +0200 +++ /var/tmp/diff_new_pack.BdDB48/_new 2020-08-14 09:34:32.984435954 +0200 @@ -19,7 +19,7 @@ %define llvm_version_major 10 %define llvm_version %{llvm_version_major} -%define version_unconverted 2.1+20200606 +%define version_unconverted 2.1+20200730 %ifarch %{ix86} x86_64 %define with_uclibc 1 @@ -31,7 +31,7 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.1+20200606 +Version: 2.1+20200730 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz ++++++ _service ++++++ --- /var/tmp/diff_new_pack.BdDB48/_old 2020-08-14 09:34:33.024435974 +0200 +++ /var/tmp/diff_new_pack.BdDB48/_new 2020-08-14 09:34:33.028435976 +0200 @@ -1,5 +1,5 @@ <services> - <service name="tar_scm" mode="disabled"> + <service name="obs_scm" mode="disabled"> <param name="url">git://github.com/klee/klee.git</param> <param name="scm">git</param> <param name="changesgenerate">enable</param> @@ -7,9 +7,11 @@ <param name="versionrewrite-pattern">v(.*)</param> <param name="versionrewrite-replacement">\1</param> </service> - <service name="recompress" mode="disabled"> + <service name="set_version" mode="disabled" /> + + <service name="tar" mode="buildtime"/> + <service name="recompress" mode="buildtime"> <param name="file">klee-*.tar</param> <param name="compression">xz</param> </service> - <service name="set_version" mode="disabled" /> </services> ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.BdDB48/_old 2020-08-14 09:34:33.052435988 +0200 +++ /var/tmp/diff_new_pack.BdDB48/_new 2020-08-14 09:34:33.052435988 +0200 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/klee/klee.git</param> - <param name="changesrevision">6ca440f14381c8f0461ede18eccc16bba1135e88</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">088fc21e12c9675161172899be5ef5051f1ae96b</param></service></servicedata> \ No newline at end of file ++++++ klee.obsinfo ++++++ name: klee version: 2.1+20200730 mtime: 1596123871 commit: 088fc21e12c9675161172899be5ef5051f1ae96b
