From nobody Tue May 26 16:30:16 2026 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4gPysN4zjPz6g3h0 for ; Tue, 26 May 2026 16:30:16 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R13" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4gPysN1NvWz4BGj for ; Tue, 26 May 2026 16:30:16 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1779813016; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=EYWnhCTbkzVhMfyRWuKnkt+ekM0ZM2nZw8aMYOtOX+s=; b=ST85LjKmlo17PblyfiCpHlXLsyKKhyvG9FShvAhs9liJ+zfMPZNGPQurDc2AZ7y8B11XSm 18s1TXiH+dZv3j8ON1/0Gu5kf78sQM/+5uwKA6brVAxoEb/b/YUbo2e2aBd1HLt0NzWKfz iGA0CICUNb4o8PeC9PlbOJ5yUhrtEVVoGHL86R7zkDpXu/SmIX4UJ+SLB9GB/p55tJEtKo zjObY0hEnvP1osRTUJmt65BnxUtKTlQlRP1k1fQvALp/xCwQKe2Gr5odxnrdaa2mmalKv5 /6WsEZzNeDBysdmBhF2neBV/a+dozuhBpm9jk3DlBuZ4Q9X7tAqNhTx1jNKRmQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1779813016; a=rsa-sha256; cv=none; b=OxLJifLs8KYV9/DU5h+Aywg+37s008aVLL3uY9WMMpaKgn3sX+XzuTpVVXTCM/eWkW1sIh B6ugffA60In63NK8fyc9G9oCUHeZEMLQ5nvzMVT+P39/rSEFJnG+LNyqNopNjcQ22PUBk/ cuRute/9lAzeLdlFahjzjIcufFHhQ41aRLMOhCk8YrAtdrVTqdmSCsipsq7wDg8QJ/MKAR ozH5vMsO053+STsULRIGvNBH2qm2DtZlM9vN7uH0ZRyNncRd2RHo1QSMsMwNEFn2cDgI2+ hCwUdhB/nQ09nXfVhDE007UyUAx1Y7l26DdDiENNj/KIi4Xslxwb1QhvqYUnSw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1779813016; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=EYWnhCTbkzVhMfyRWuKnkt+ekM0ZM2nZw8aMYOtOX+s=; b=nlHE0FYXA3eF/Se6NpMhm3jboIg9V2LYG9sAD2D2F3SXOJHQ6LJS32+6MxgzlC+5v6xuVH Q79GIL9+L6cjJe95Cv/O9l3JQYqtR/VElG7d5zbubkj0LAKsllTXcFLEpWSjAX61Gp1UBv wu/tDEAonhlAMFFeO7vrhp19N/oJw5Zm/3KSG+v+Dj/c1kG7KqNtAgBrpNrtQPUvpDdHsf GBa5gMJHj113ZFYaZs+3QPCttaEFAjNseY3FjaUUnnIZL1fv9269sfCOSPppbIapC1zijr pj6Glk/s+U0J+uSFPNHcqoDRknWejq2WyJUtBLBDLf8amko3GxOb7v0hz5yv7w== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4gPysN0fgyz4RG for ; Tue, 26 May 2026 16:30:16 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 32fe5 by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Tue, 26 May 2026 16:30:16 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 838ae2f761de - main - math/bitwuzla: update 0.9=?utf-8?Q?=2E0 =E2=86=92 0?=.9.1 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 838ae2f761de02498e923467d76eb72e7e9954fb Auto-Submitted: auto-generated Date: Tue, 26 May 2026 16:30:16 +0000 Message-Id: <6a15ca98.32fe5.6381a27c@gitrepo.freebsd.org> The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=838ae2f761de02498e923467d76eb72e7e9954fb commit 838ae2f761de02498e923467d76eb72e7e9954fb Author: Yuri Victorovich AuthorDate: 2026-05-26 14:51:54 +0000 Commit: Yuri Victorovich CommitDate: 2026-05-26 16:30:11 +0000 math/bitwuzla: update 0.9.0 → 0.9.1 --- math/bitwuzla/Makefile | 9 ++++++++- math/bitwuzla/distinfo | 6 +++--- 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile index 48e9f97db5a1..8a2c481c0b53 100644 --- a/math/bitwuzla/Makefile +++ b/math/bitwuzla/Makefile @@ -1,5 +1,5 @@ PORTNAME= bitwuzla # successor of Boolector -DISTVERSION= 0.9.0 +DISTVERSION= 0.9.1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -46,4 +46,11 @@ do-test: # 1 test hangs, see https://github.com/bitwuzla/bitwuzla/issues/117 # Timeout: 0 # Timeout: 0 +# tests as of 0.9.1: +# Summary of Failures: +# 77/4260 unit+fp - bitwuzla:fp_fp_from FAIL 1.23s exit status 1 +# +# Ok: 4259 +# Fail: 1 + .include diff --git a/math/bitwuzla/distinfo b/math/bitwuzla/distinfo index c3583c56387c..d69d13be086c 100644 --- a/math/bitwuzla/distinfo +++ b/math/bitwuzla/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1773732799 -SHA256 (bitwuzla-bitwuzla-0.9.0_GH0.tar.gz) = e15420eaaef586c0d02d4b46cf3bdf203ba2511147b0decab99a9df9c9f115ca -SIZE (bitwuzla-bitwuzla-0.9.0_GH0.tar.gz) = 2494794 +TIMESTAMP = 1779806763 +SHA256 (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 42707f38900a20bb18108e426ba667560d1fd2ccce0d4f75aa60439b546488b4 +SIZE (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 2507441