Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2017-08-04 11:57:55 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Fri Aug 4 11:57:55 2017 rev:9 rq:504285 version:4.5.0+git.20170523 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2017-03-21 22:51:14.620408877 +0100 +++ /work/SRC/openSUSE:Factory/.z3.new/z3.changes 2017-08-04 11:57:57.743633606 +0200 @@ -1,0 +2,21 @@ +Fri Jun 16 20:03:49 UTC 2017 - [email protected] + +- Update cmake parameters + +------------------------------------------------------------------- +Thu May 25 11:47:32 UTC 2017 - [email protected] + +- Update to version 4.5.0+git.20170523: + * update readme + * ignore Z3-str source + * failing test case: SMT2 parse string constants + * create and register string theory plugin the parser gets a little bit further now! rejects input with "unexpected character" + * fix string constant representation in parser spec1 loopback OK + * pretty-printing of string constants in AST spec2 looks good now + * load str decl plugin; recognize String sorted constants + * register Concat function now reaches str_decl_plugin::mk_func_decl() + * at least for now, Concat is no longer associative this means that we'll always have (Concat a b) instead of variadic forms + * add Length function to theory of strings + * AND MUCH MORE... + +------------------------------------------------------------------- Old: ---- z3-4.5.0+git.20170313.tar.xz New: ---- z3-4.5.0+git.20170523.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.uhlHp8/_old 2017-08-04 11:57:59.431395385 +0200 +++ /var/tmp/diff_new_pack.uhlHp8/_new 2017-08-04 11:57:59.439394256 +0200 @@ -16,11 +16,11 @@ # -%define version_unconverted 4.5.0+git.20170313 +%define version_unconverted 4.5.0+git.20170523 %define sover 4_5 Name: z3 -Version: 4.5.0+git.20170313 +Version: 4.5.0+git.20170523 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT @@ -82,8 +82,6 @@ -DUSE_LIB_GMP=true \ -DBUILD_PYTHON_BINDINGS=true \ -DINSTALL_PYTHON_BINDINGS=true \ - -DCMAKE_EXE_LINKER_FLAGS="" \ - -DCMAKE_SHARED_LINKER_FLAGS="" \ -DENABLE_EXAMPLE_TARGETS=false %make_jobs ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.uhlHp8/_old 2017-08-04 11:57:59.563376757 +0200 +++ /var/tmp/diff_new_pack.uhlHp8/_new 2017-08-04 11:57:59.567376192 +0200 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/Z3Prover/z3.git</param> - <param name="changesrevision">28493622c25e033a2db48bb99a4fba7d12e2fb7e</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">f3a0b7e0cd891c53badfc8c44d5fc2939a61a79d</param></service></servicedata> \ No newline at end of file ++++++ z3-4.5.0+git.20170313.tar.xz -> z3-4.5.0+git.20170523.tar.xz ++++++ ++++ 61313 lines of diff (skipped)
