head	1.2;
access;
symbols
	pkgsrc-2017Q4:1.1.0.14
	pkgsrc-2017Q4-base:1.1
	pkgsrc-2017Q3:1.1.0.12
	pkgsrc-2017Q3-base:1.1
	pkgsrc-2017Q2:1.1.0.8
	pkgsrc-2017Q2-base:1.1
	pkgsrc-2017Q1:1.1.0.6
	pkgsrc-2017Q1-base:1.1
	pkgsrc-2016Q4:1.1.0.4
	pkgsrc-2016Q4-base:1.1
	pkgsrc-2016Q3:1.1.0.2
	pkgsrc-2016Q3-base:1.1;
locks; strict;
comment	@// @;


1.2
date	2018.03.13.00.31.16;	author khorben;	state dead;
branches;
next	1.1;
commitid	p9NJNo2DxEyEkeuA;

1.1
date	2016.07.16.04.02.13;	author markd;	state Exp;
branches;
next	;
commitid	sJP1tacKsV4JXuez;


desc
@@


1.2
log
@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@@
@
text
@$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':
@


1.1
log
@gcc6 build fix
@
text
@d1 1
a1 1
$NetBSD$
@