diff options
author | khorben <khorben@pkgsrc.org> | 2018-03-13 00:31:16 +0000 |
---|---|---|
committer | khorben <khorben@pkgsrc.org> | 2018-03-13 00:31:16 +0000 |
commit | 699cc6526eb6d2ff217e1135eb2d298bc901d637 (patch) | |
tree | ff582a8033ff466e0fb387f342143d33eff72162 /math/z3/patches/patch-src_util_debug.cpp | |
parent | cd0ee844db7487ce7824b6dd20cd8962787c7150 (diff) | |
download | pkgsrc-699cc6526eb6d2ff217e1135eb2d298bc901d637.tar.gz |
Update math/z3 to version 4.5.0
From the release notes:
New features:
- New theories of strings and sequences.
- Incremental consequence finder for finite domains.
- CMake build system (thanks @delcypher).
- Updated and improved OCaml API (thanks @martin-neuhaeusser).
- Updated and improved Java API (thanks @cheshire).
- New resource limit facilities to avoid non-deterministic timeout behaviour.
- New bit-vector simplification and ackermannization tactics (thanks @MikolasJanota, @nunoplopes).
- QSAT: a new solver for quantified arithmetic problems. See:
Bjorner, Janota: Playing with Quantified Satisfaction, LPAR 2016.
A multitude of bugs has been fixed.
I am about to commit a separate package for the Python bindings.
Coordinated with dholland@
Diffstat (limited to 'math/z3/patches/patch-src_util_debug.cpp')
-rw-r--r-- | math/z3/patches/patch-src_util_debug.cpp | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/math/z3/patches/patch-src_util_debug.cpp b/math/z3/patches/patch-src_util_debug.cpp deleted file mode 100644 index 687509d9357..00000000000 --- a/math/z3/patches/patch-src_util_debug.cpp +++ /dev/null @@ -1,15 +0,0 @@ -$NetBSD: patch-src_util_debug.cpp,v 1.1 2016/07/16 04:02:13 markd Exp $ - -gcc6 fix - ---- src/util/debug.cpp.orig 2015-10-05 12:07:19.000000000 +0000 -+++ src/util/debug.cpp -@@ -76,7 +76,7 @@ void invoke_gdb() { - for (;;) { - std::cerr << "(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB\n"; - char result; -- bool ok = (std::cin >> result); -+ bool ok = bool(std::cin >> result); - if (!ok) exit(ERR_INTERNAL_FATAL); // happens if std::cin is eof or unattached. - switch(result) { - case 'C': |