GNU logs - #69074, boring messages


Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] Add python-angr.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 14:58:02 +0000
Resent-Message-ID: <handler.69074.B.170774987725659 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by submit <at> debbugs.gnu.org id=B.170774987725659
          (code B ref -1); Mon, 12 Feb 2024 14:58:02 +0000
Received: (at submit) by debbugs.gnu.org; 12 Feb 2024 14:57:57 +0000
Received: from localhost ([127.0.0.1]:35238 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXkn-0006fZ-1E
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:57:56 -0500
Received: from lists.gnu.org ([2001:470:142::17]:49770)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>) id 1rZXki-0006ep-90
 for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:57:52 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <soeren@HIDDEN>)
 id 1rZXkJ-0005xn-RZ
 for guix-patches@HIDDEN; Mon, 12 Feb 2024 09:57:23 -0500
Received: from magnesium.8pit.net ([45.76.88.171])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <soeren@HIDDEN>)
 id 1rZXkE-0003Jp-Rl; Mon, 12 Feb 2024 09:57:23 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=PhKBu8F/xF
 Vwh+mR6hyBdTiWQ3fbQUZLfaydJwhWU0c=; h=date:subject:to:from;
 d=soeren-tempel.net; b=dc1kU4fhXM0LFteBTQrtXPh+8Vjs55KO72XE191OFT/kLRX
 5uQfxsfj5LA73BnZmH0Ce5tibDKON2AnQV1Br5bZt3ZV46WEmaA6WPpuUUkAj98WqKafkZ
 LjFL1AsFswGDbRvQIj2R/2LLSTq1s2m5PeQhsZssC7xH+TqL1ky19s=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id a9534576
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:57:11 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:55:29 +0100
Message-ID: <cover.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=45.76.88.171;
 envelope-from=soeren@HIDDEN; helo=magnesium.8pit.net
X-Spam_score_int: -19
X-Spam_score: -2.0
X-Spam_bar: --
X-Spam_report: (-2.0 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01,
 URIBL_SBL_A=0.1 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.7 (+)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN> This patchset
    adds a package for angr <https://angr.io/>. angr is a binary analysis framework
    that implements different binary analysis techniques, such as symbolic execution.
    Symbolic execution is an [...] 
 
 Content analysis details:   (1.7 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.1 URIBL_SBL_A            Contains URL's A record listed in the Spamhaus SBL
                             blocklist
                             [URIs: angr.io]
  0.6 URIBL_SBL              Contains an URL's NS IP listed in the Spamhaus SBL
                             blocklist
                             [URIs: angr.io]
 -0.0 SPF_HELO_PASS          SPF: HELO matches SPF record
  0.9 SPF_FAIL               SPF: sender does not match SPF record (fail)
 [SPF failed: Please see http://www.openspf.org/Why?s=mfrom;id=soeren%40soeren-tempel.net;ip=2001%3A470%3A142%3A%3A17;r=debbugs.gnu.org]
 -0.0 T_SCC_BODY_TEXT_LINE   No description available.
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 0.7 (/)

From: Sören Tempel <soeren@HIDDEN>

This patchset adds a package for angr <https://angr.io/>.  angr is a
binary analysis framework that implements different binary analysis
techniques, such as symbolic execution.  Symbolic execution is an active
area of computer science research.  This package is part of an ongoing
effort to package symbolic execution tools in Guix, thereby easing the
creation of computational environments for reproducible research in this
domain [1], [2], [3].

angr comes with an extensive test suite, which takes a while to run.
However, I would argue that enabling this test suite is worthwhile as it
allowed me to discover two upstream bugs in capstone and angr which I
fixed and backported as port of the patchset [4], [5].  angr also
requires unicorn 2.X hence I've included (and revised) an existing patch
updating unicorn [6].

Feedback is more than welcome!

[1]: https://issues.guix.gnu.org/68908
[2]: https://issues.guix.gnu.org/68296
[3]: https://github.com/nmeum/guix-symex
[4]: https://github.com/angr/angr/pull/4443
[5]: https://github.com/capstone-engine/capstone/pull/2240
[6]: https://issues.guix.gnu.org/63442

Sören Tempel (13):
  gnu: Add python-itanium-demangle.
  gnu: Add python-keystone-engine.
  gnu: Add python-mulpyplexer.
  gnu: Add python-nampa.
  gnu: Add python-rpyc.
  gnu: Add python-pysmt.
  gnu: Add python-claripy.
  gnu: Add python-archinfo.
  gnu: Add python-pyvex.
  gnu: Add python-cle.
  gnu: Add python-ailment.
  gnu: capstone: Backport upstream fix for Python bindings.
  gnu: Add python-angr.

c4droid (1):
  gnu: unicorn: Update to 2.0.1.post1.

 gnu/local.mk                                  |   6 +
 gnu/packages/emulators.scm                    | 119 +-----
 gnu/packages/engineering.scm                  |   2 +
 .../python-angr-addition-type-error.patch     |  18 +
 .../patches/python-angr-check-exec-deps.patch |  93 ++++
 ...python-capstone-fix-python-constants.patch |  84 ++++
 .../python-pysmt-fix-pow-return-type.patch    | 258 +++++++++++
 ...-pysmt-fix-smtlib-serialization-test.patch |  86 ++++
 .../python-pyvex-remove-angr-dependency.patch |  80 ++++
 gnu/packages/python-xyz.scm                   | 400 ++++++++++++++++++
 10 files changed, 1047 insertions(+), 99 deletions(-)
 create mode 100644 gnu/packages/patches/python-angr-addition-type-error.patch
 create mode 100644 gnu/packages/patches/python-angr-check-exec-deps.patch
 create mode 100644 gnu/packages/patches/python-capstone-fix-python-constants.patch
 create mode 100644 gnu/packages/patches/python-pysmt-fix-pow-return-type.patch
 create mode 100644 gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch
 create mode 100644 gnu/packages/patches/python-pyvex-remove-angr-dependency.patch


base-commit: 179bb57d2532ee6b81791e078b0f782cbf88cb84




Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: soeren@HIDDEN
Subject: bug#69074: Acknowledgement ([PATCH] Add python-angr.)
Message-ID: <handler.69074.B.170774987725659.ack <at> debbugs.gnu.org>
References: <cover.1707749005.git.soeren@HIDDEN>
X-Gnu-PR-Message: ack 69074
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 69074 <at> debbugs.gnu.org
Date: Mon, 12 Feb 2024 14:58:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

As you requested using X-Debbugs-CC, your message was also forwarded to
  Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki=
 Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN=
om>, jgart <jgart@HIDDEN>
(after having been given a bug report number, if it did not have one).

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 69074 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
69074: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69074
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems


Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] gnu: Add python-itanium-demangle.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 15:00:03 +0000
Resent-Message-ID: <handler.69074.B69074.170774994825998 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by 69074-submit <at> debbugs.gnu.org id=B69074.170774994825998
          (code B ref 69074); Mon, 12 Feb 2024 15:00:03 +0000
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:08 +0000
Received: from localhost ([127.0.0.1]:35348 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXm0-0006lF-1P
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:59:08 -0500
Received: from magnesium.8pit.net
 ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:36193)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>)
 id 1rZXlx-0006kx-KV; Mon, 12 Feb 2024 09:59:06 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=9cHkwtXRnm
 by5UboJbYDARkfcatzZ/fZhhM+0B65o4c=;
 h=references:in-reply-to:date:
 subject:to:from; d=soeren-tempel.net; b=k9u2Kw2IfKRfWPupEGZUsGAF5vaNEb
 HQI13+tSssLDwZQt6khgV2thu8pT65sFlykjc6RTjC8jzIJz29LLfytD7lVFpXYAVN6rHY
 g1oNZyIjKux70m72LmS4tYvFE94w7+6gsDCF3vlkuve34RTbrK6uwuVS2fiHVzu0PUKtM+
 8=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id f3a058b8
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:58:45 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:58:16 +0100
Message-ID: <19ef0993fd8891d02402943609f70de73e0b233a.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
In-Reply-To: <cover.1707749005.git.soeren@HIDDEN>
References: <cover.1707749005.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

From: Sören Tempel <soeren@HIDDEN>

* gnu/packages/python-xyz.scm (python-itanium-demangle): New variable.
---
 gnu/packages/python-xyz.scm | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index c68b17b0ab..e630bdb6a6 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -146,6 +146,7 @@
 ;;; Copyright © 2023 Janneke Nieuwenhuizen <janneke@HIDDEN>
 ;;; Copyright © 2023 Attila Lendvai <attila@HIDDEN>
 ;;; Copyright © 2023, 2024 Troy Figiel <troy@HIDDEN>
+;;; Copyright © 2024 Sören Tempel <soeren@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -32302,6 +32303,36 @@ (define-public python-opcodes
 and BMI2).")
       (license license:bsd-2))))
 
+(define-public python-itanium-demangle
+  (package
+    (name "python-itanium-demangle")
+    (version "1.1")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/whitequark/python-itanium_demangler")
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "1q47aqm5z3db6pasdzw05d6236vnb8hnapfy88fcmn9dr5ym98r3"))))
+    (build-system pyproject-build-system)
+    (arguments
+     `(#:phases (modify-phases %standard-phases
+                  (replace 'check
+                    (lambda* (#:key tests? #:allow-other-keys)
+                      (when tests?
+                        (with-directory-excursion "tests"
+                          (invoke "python" "-m" "unittest"))))))))
+    (home-page "https://github.com/whitequark/python-itanium_demangler")
+    (synopsis "Pure Python Itanium C++ ABI demangler")
+    (description
+     "This Python module provides an implementation of the Itanium C++
+ABI symbol mangling language.  The demangler generates an abstract
+syntax tree from mangled symbols, which can be used for directly
+extracting type information.")
+    (license license:bsd-0)))
+
 (define-public python-peachpy
   ;; There is no tag in this repo.
   (let ((commit "913d74c35a6b1d330e90bfc055208ce5b06b35a0")




Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] gnu: Add python-keystone-engine.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 15:00:04 +0000
Resent-Message-ID: <handler.69074.B69074.170774995626067 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by 69074-submit <at> debbugs.gnu.org id=B69074.170774995626067
          (code B ref 69074); Mon, 12 Feb 2024 15:00:04 +0000
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:16 +0000
Received: from localhost ([127.0.0.1]:35368 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXm6-0006m8-Gz
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:59:15 -0500
Received: from magnesium.8pit.net
 ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:36193)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>)
 id 1rZXlz-0006kx-5G; Mon, 12 Feb 2024 09:59:07 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=xFyczKmorm
 EwQmVZ23gXvYdGAycc+gFQMlIorBJeKT4=;
 h=references:in-reply-to:date:
 subject:to:from; d=soeren-tempel.net; b=ZWLoWGIhm/dcpv+emHIJWkF7nJmzXb
 tRkps2Iqthz4d29rsUCI2UYaa441KII5lRGcrE2L+wOZMZc0WcZHkhYsESfgk9ttOu0Nwf
 EchfJ3ayRtd5P+xnfNDG7O5uX+Ab/wtgQjzx+oMuGQU1kLuSfu0ReEfMZBH+X9sqEyqal4
 M=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id c5e15c41
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:58:46 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:58:17 +0100
Message-ID: <ac6b9eca583c61e7d9a6467caf6306f77b9543b7.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
In-Reply-To: <cover.1707749005.git.soeren@HIDDEN>
References: <cover.1707749005.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.7 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.3 (/)

From: Sören Tempel <soeren@HIDDEN>

* gnu/packages/python-xyz.scm (python-keystone-engine): New variable.
---
 gnu/packages/python-xyz.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index e630bdb6a6..e4f6483f70 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -32303,6 +32303,28 @@ (define-public python-opcodes
 and BMI2).")
       (license license:bsd-2))))
 
+(define-public python-keystone-engine
+  (package
+    (name "python-keystone-engine")
+    (version "0.9.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "keystone-engine" version))
+       (sha256
+        (base32 "1xahdr6bh3dw5swrc2r8kqa8ljhqlb7k2kxv5mrw5rhcmcnzcyig"))))
+    (native-inputs (list cmake))
+    (build-system pyproject-build-system)
+    (home-page "https://www.keystone-engine.org")
+    (synopsis
+     "Lightweight multi-platform, multi-architecture assembler framework")
+    (description
+     "Keystone is a lightweight multi-platform, multi-architecture
+assembler framework.  It supports a wide-range of different architectures
+and offers an intuitive architecture-neutral API for interacting with
+assembly for these architectures.")
+    (license license:gpl2)))
+
 (define-public python-itanium-demangle
   (package
     (name "python-itanium-demangle")




Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] gnu: Add python-mulpyplexer.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 15:00:05 +0000
Resent-Message-ID: <handler.69074.B69074.170774995726086 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by 69074-submit <at> debbugs.gnu.org id=B69074.170774995726086
          (code B ref 69074); Mon, 12 Feb 2024 15:00:05 +0000
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:17 +0000
Received: from localhost ([127.0.0.1]:35374 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXm8-0006mO-05
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:59:17 -0500
Received: from magnesium.8pit.net
 ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:36193)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>)
 id 1rZXm0-0006kx-5j; Mon, 12 Feb 2024 09:59:08 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=DflRmZ5zae
 AQCrts5RFp7vsVDaAa6rZ16mEGUkgjsjI=;
 h=references:in-reply-to:date:
 subject:to:from; d=soeren-tempel.net; b=tv4wejBT6qU5WAXeFjfjC1ue0KPoJE
 7gzGHeBLX7V185XA7cqQrFC9LwV8+sfubKp7LXmLqQh1K0Xru+iDorUS3Sys2SDYo2Aj/2
 cWumqpgbya6e7BRd//K2VuIIhEYUj9SvNh/X7hcw2Se7KM9zlYUiXVBJ1dhPeYfcVcEh+2
 k=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 547414d2
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:58:46 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:58:18 +0100
Message-ID: <5c6b13148d8a1937a5d336e09196de34d6e20e4f.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
In-Reply-To: <cover.1707749005.git.soeren@HIDDEN>
References: <cover.1707749005.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

From: Sören Tempel <soeren@HIDDEN>

* gnu/packages/python-xyz.scm (python-mulpyplexer): New variable.
---
 gnu/packages/python-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index e4f6483f70..20b7a17fd2 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -32303,6 +32303,26 @@ (define-public python-opcodes
 and BMI2).")
       (license license:bsd-2))))
 
+(define-public python-mulpyplexer
+  (package
+    (name "python-mulpyplexer")
+    (version "0.09")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "mulpyplexer" version))
+       (sha256
+        (base32 "0c5xzci1djy1yi9hxxh8g67l6ms8r7ad7ja20pv8hfbdysdrwkhl"))))
+    (build-system pyproject-build-system)
+    (arguments
+     (list
+      #:tests? #f)) ;no tests
+    (home-page "https://github.com/zardus/mulpyplexer/")
+    (synopsis "Multiplexes interactions with lists of Python objects")
+    (description "This module provides utilities for multiplexing
+interactions with lists of Python objects.")
+    (license license:bsd-3)))
+
 (define-public python-keystone-engine
   (package
     (name "python-keystone-engine")




Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] gnu: Add python-nampa.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 15:00:06 +0000
Resent-Message-ID: <handler.69074.B69074.170774995926106 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by 69074-submit <at> debbugs.gnu.org id=B69074.170774995926106
          (code B ref 69074); Mon, 12 Feb 2024 15:00:06 +0000
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:19 +0000
Received: from localhost ([127.0.0.1]:35380 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXm9-0006mh-5N
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:59:19 -0500
Received: from magnesium.8pit.net
 ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:36193)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>)
 id 1rZXm1-0006kx-7l; Mon, 12 Feb 2024 09:59:10 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=LAHcnAcgnp
 Otgp+v0sQosLlsXMj8tzMiZ9u8paZE5pE=;
 h=references:in-reply-to:date:
 subject:to:from; d=soeren-tempel.net; b=OPiEd1AmA/GIhKVsK8apW3LHWwJLsF
 ugZDEMqygBppBpnyxsVfrTHBpQDkGSmtunYWWUPN5LDjBRB8Rs0GULiefuh3X5xTwJ99bG
 TcXqu02hlDYScuKoWNg3yStuobTr6uuKkVBQM2GzYjB6vBy/FFuSg3L+b/Edny6K9yJFYv
 c=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 8f600807
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:58:47 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:58:19 +0100
Message-ID: <7b73230899b3c2c8ef8ac60fa74f0bf0601b5f26.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
In-Reply-To: <cover.1707749005.git.soeren@HIDDEN>
References: <cover.1707749005.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

From: Sören Tempel <soeren@HIDDEN>

* gnu/packages/python-xyz.scm (python-nampa): New variable.
---
 gnu/packages/python-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 20b7a17fd2..f94b0056f0 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -32303,6 +32303,26 @@ (define-public python-opcodes
 and BMI2).")
       (license license:bsd-2))))
 
+(define-public python-nampa
+  (package
+    (name "python-nampa")
+    (version "0.1.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "nampa" version))
+       (sha256
+        (base32 "0k6cq2gflpkm40qhgqbbcjmq5lq589c15bmk567qyh3d08062hvd"))))
+    (build-system pyproject-build-system)
+    (propagated-inputs (list python-future))
+    (home-page "https://github.com/thebabush/nampa")
+    (synopsis "Python implementation of IDA Pro's FLIRT technology")
+    (description
+     "This Python module implements the Fast Library Identification
+and Recognition Technology (FLIRT).  This technology is useful for identifying
+common library subroutines in disassembled binaries.")
+    (license license:lgpl3)))
+
 (define-public python-mulpyplexer
   (package
     (name "python-mulpyplexer")




Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] gnu: Add python-rpyc.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 15:00:07 +0000
Resent-Message-ID: <handler.69074.B69074.170774996026114 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by 69074-submit <at> debbugs.gnu.org id=B69074.170774996026114
          (code B ref 69074); Mon, 12 Feb 2024 15:00:07 +0000
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:20 +0000
Received: from localhost ([127.0.0.1]:35385 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXmB-0006n1-J2
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:59:20 -0500
Received: from magnesium.8pit.net
 ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:36117)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>)
 id 1rZXm1-0006lY-Vv; Mon, 12 Feb 2024 09:59:11 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=DVTu1y2saq
 jFhyNCXI0bwJwekMfbdA5XC8Vg5C73u2I=;
 h=references:in-reply-to:date:
 subject:to:from; d=soeren-tempel.net; b=aEUPB7K2q8VVdyoruHorXZGCUV9AFd
 0But9MtQW9/A8yt/3EcOimnYpln8WFqxG4g/8/bRqKEefyZJ4wIZ1RmXowSsoApzo3AIrg
 ojjqWAoe6iznJPbk5qrOdf/wVIjUh9N49hZroP5TDYGI4YyBFvCjjwmwZ5E4F2bOXUYG5U
 s=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id b7674487
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:58:48 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:58:20 +0100
Message-ID: <7a7224e5bb8ddd664843cc0e1f6018256727606f.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
In-Reply-To: <cover.1707749005.git.soeren@HIDDEN>
References: <cover.1707749005.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

From: Sören Tempel <soeren@HIDDEN>

* gnu/packages/python-xyz.scm (python-rpyc): New variable.
---
 gnu/packages/python-xyz.scm | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index f94b0056f0..5fe5c0d60a 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -32303,6 +32303,32 @@ (define-public python-opcodes
 and BMI2).")
       (license license:bsd-2))))
 
+(define-public python-rpyc
+  (package
+    (name "python-rpyc")
+    (version "5.3.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "rpyc" version))
+       (sha256
+        (base32 "0lmzrxc6f0sg6k0yvi6f2z44dkhiankdadv44sp1ibwzhxs328zj"))))
+    (build-system pyproject-build-system)
+    (arguments
+     (list
+      #:tests? #f)) ;tests require network
+    (propagated-inputs (list python-hatchling python-plumbum))
+    (home-page "https://github.com/tomerfiliba-org/rpyc")
+    (synopsis
+     "Remote Python Call (RPyC) is a symmetric distributed computing library")
+    (description
+     "This Python module enables remote procedure calls, clustering, and
+distributed-computing.  For this purpose, it makes use of object-proxying, a technique
+that employs python's dynamic nature, to overcome the physical boundaries between
+processes and computers, so that remote objects can be manipulated as if they
+were local.")
+    (license license:expat)))
+
 (define-public python-nampa
   (package
     (name "python-nampa")




Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] gnu: Add python-claripy.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 15:00:08 +0000
Resent-Message-ID: <handler.69074.B69074.170774996226140 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by 69074-submit <at> debbugs.gnu.org id=B69074.170774996226140
          (code B ref 69074); Mon, 12 Feb 2024 15:00:08 +0000
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:22 +0000
Received: from localhost ([127.0.0.1]:35389 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXmC-0006n9-Hn
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:59:21 -0500
Received: from magnesium.8pit.net
 ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:36117)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>)
 id 1rZXm4-0006lY-47; Mon, 12 Feb 2024 09:59:13 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=meJeKETcFw
 26/vBb5x0nwn03sc8avJimzZlRcLIYjzA=;
 h=references:in-reply-to:date:
 subject:to:from; d=soeren-tempel.net; b=E5FSzXilCh3b4RV9vDtABilR6M3epq
 XGvdfrlRynHm5e9WQjhZMYxO8Uac2sjTFxa5B4sHt0nOyuqQp7Ppy5CVu70YjRdXCDwnfy
 dY/SZhqcxqWDaRYFJG6N6gJeEkViy/C/N2eJZ+nXMulXL0pn1Lq8I6YmzKTcZb2DpQ471P
 4=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id f142ad52
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:58:49 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:58:22 +0100
Message-ID: <f1ad8234b4517fe8a31c04291db4d25644d327d4.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
In-Reply-To: <cover.1707749005.git.soeren@HIDDEN>
References: <cover.1707749005.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

From: Sören Tempel <soeren@HIDDEN>

* gnu/packages/python-xyz.scm (python-claripy): New variable.
---
 gnu/packages/python-xyz.scm | 38 +++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 055f7ea553..6c73948dd8 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -32303,6 +32303,44 @@ (define-public python-opcodes
 and BMI2).")
       (license license:bsd-2))))
 
+(define-public python-claripy
+  (package
+    (name "python-claripy")
+    (version "9.2.46")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/angr/claripy")
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "0nmawpi1596d9plafrp2db36cjsidy2fagkzkja51jwlx2m1ngai"))
+       (modules '((guix build utils)))
+       (snippet '(begin
+                   (substitute* "setup.cfg"
+                     ;; Relax the z3 version constraint.
+                     ;; See https://github.com/angr/claripy/commit/d1fe2df
+                     (("z3-solver==4.10.2.0")
+                      ""))))))
+    (build-system pyproject-build-system)
+    (arguments
+     `(#:phases (modify-phases %standard-phases
+                  (replace 'check
+                    (lambda* (#:key tests? #:allow-other-keys)
+                      (when tests?
+                        (with-directory-excursion "tests"
+                          (invoke "python" "-m" "unittest"))))))))
+    (propagated-inputs (list python-cachetools python-decorator python-pysmt
+                             z3))
+    (home-page "https://github.com/angr/claripy")
+    (synopsis "Abstraction layer for constraint solvers")
+    (description
+     "This Python module provides an abstraction layer for interacting
+with constraint solvers.  Specifically, it is intended to be used with
+SMT solvers and is built on top of the Z3 solver.")
+    (license license:bsd-2)))
+
 (define-public python-pysmt
   (package
     (name "python-pysmt")




Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] gnu: Add python-pysmt.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 15:00:09 +0000
Resent-Message-ID: <handler.69074.B69074.170774996426155 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by 69074-submit <at> debbugs.gnu.org id=B69074.170774996426155
          (code B ref 69074); Mon, 12 Feb 2024 15:00:09 +0000
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:24 +0000
Received: from localhost ([127.0.0.1]:35393 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXmE-0006nZ-20
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:59:24 -0500
Received: from magnesium.8pit.net
 ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:36193)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>)
 id 1rZXm2-0006kx-Q7; Mon, 12 Feb 2024 09:59:13 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=9rDu5rWfsm
 wqAdf9nfP/RcJ1d1DtYtIFTD7+8yT9tBQ=;
 h=references:in-reply-to:date:
 subject:to:from; d=soeren-tempel.net; b=vpvlg7Q1p9dS6ryD/+8cIjoC3w9tfx
 tw/XWcvq15Ai+ncK/5AeS0N99TMy3yjyR2zOpU5UYlSFJNul/SdKN4VmqBvV6fG/bUzqyM
 Mf8lXXTlPGRWk+0yGjAct3uBv7lC9PjemPQFHzZRnV+ajWnu/7sj7yun4Btl0R8F5D+bSd
 g=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id e8165fe1
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:58:48 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:58:21 +0100
Message-ID: <121fb91c6293f9de7529be4c82fc010c3b83730a.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
In-Reply-To: <cover.1707749005.git.soeren@HIDDEN>
References: <cover.1707749005.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

From: Sören Tempel <soeren@HIDDEN>

* gnu/packages/python-xyz.scm (python-pysmt): New variable.
---
 gnu/local.mk                                  |   2 +
 .../python-pysmt-fix-pow-return-type.patch    | 258 ++++++++++++++++++
 ...-pysmt-fix-smtlib-serialization-test.patch |  86 ++++++
 gnu/packages/python-xyz.scm                   |  34 +++
 4 files changed, 380 insertions(+)
 create mode 100644 gnu/packages/patches/python-pysmt-fix-pow-return-type.patch
 create mode 100644 gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch

diff --git a/gnu/local.mk b/gnu/local.mk
index fbdb285695..1946fdcbb6 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -1925,6 +1925,8 @@ dist_patch_DATA =						\
   %D%/packages/patches/python-pyan3-fix-absolute-path-bug.patch \
   %D%/packages/patches/python-pyan3-fix-positional-arguments.patch \
   %D%/packages/patches/python-pygpgme-fix-pinentry-tests.patch	\
+  %D%/packages/patches/python-pysmt-fix-pow-return-type.patch	\
+  %D%/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch	\
   %D%/packages/patches/python-pytorch-runpath.patch		\
   %D%/packages/patches/python-pytorch-system-libraries.patch	\
   %D%/packages/patches/python-pytorch-1.9.0-system-libraries.patch \
diff --git a/gnu/packages/patches/python-pysmt-fix-pow-return-type.patch b/gnu/packages/patches/python-pysmt-fix-pow-return-type.patch
new file mode 100644
index 0000000000..0ec2d41b3c
--- /dev/null
+++ b/gnu/packages/patches/python-pysmt-fix-pow-return-type.patch
@@ -0,0 +1,258 @@
+Backport of an upstream patch which fixes a test failure with our
+packaged version of the Z3 SMT solver.
+
+Taken from: https://github.com/pysmt/pysmt/commit/f522e8cd8f3e75ff85f5eae29b427e18a6701859
+
+diff --git a/pysmt/formula.py b/pysmt/formula.py
+index ea4b46c..6cb9cbf 100644
+--- a/pysmt/formula.py
++++ b/pysmt/formula.py
+@@ -252,11 +252,7 @@ class FormulaManager(object):
+ 
+         if base.is_constant():
+             val = base.constant_value() ** exponent.constant_value()
+-            if base.is_constant(types.REAL):
+-                return self.Real(val)
+-            else:
+-                assert base.is_constant(types.INT)
+-                return self.Int(val)
++            return self.Real(val)
+         return self.create_node(node_type=op.POW, args=(base, exponent))
+ 
+     def Div(self, left, right):
+diff --git a/pysmt/logics.py b/pysmt/logics.py
+index ef88dd6..9dc45b1 100644
+--- a/pysmt/logics.py
++++ b/pysmt/logics.py
+@@ -495,6 +495,12 @@ QF_NRA = Logic(name="QF_NRA",
+                real_arithmetic=True,
+                linear=False)
+ 
++QF_NIRA = Logic(name="QF_NIRA",
++                description="""Quantifier-free integer and real arithmetic.""",
++                quantifier_free=True,
++                integer_arithmetic=True,
++                real_arithmetic=True,
++                linear=False)
+ 
+ QF_RDL = Logic(name="QF_RDL",
+                description=\
+@@ -619,41 +625,41 @@ QF_AUFBVLIRA = Logic(name="QF_AUFBVLIRA",
+ AUTO = Logic(name="Auto",
+              description="Special logic used to indicate that the logic to be used depends on the formula.")
+ 
+-SMTLIB2_LOGICS = frozenset([ AUFLIA,
+-                             AUFLIRA,
+-                             AUFNIRA,
+-                             ALIA,
+-                             LRA,
+-                             LIA,
+-                             NIA,
+-                             NRA,
+-                             UFLRA,
+-                             UFNIA,
+-                             UFLIRA,
+-                             QF_ABV,
+-                             QF_AUFBV,
+-                             QF_AUFLIA,
+-                             QF_ALIA,
+-                             QF_AX,
+-                             QF_BV,
+-                             QF_IDL,
+-                             QF_LIA,
+-                             QF_LRA,
+-                             QF_NIA,
+-                             QF_NRA,
+-                             QF_RDL,
+-                             QF_UF,
+-                             QF_UFBV ,
+-                             QF_UFIDL,
+-                             QF_UFLIA,
+-                             QF_UFLRA,
+-                             QF_UFNRA,
+-                             QF_UFNIA,
+-                             QF_UFLIRA,
+-                             QF_SLIA
+-                         ])
+-
+-LOGICS = SMTLIB2_LOGICS | frozenset([ QF_BOOL, BOOL, QF_AUFBVLIRA])
++SMTLIB2_LOGICS = frozenset([AUFLIA,
++                            AUFLIRA,
++                            AUFNIRA,
++                            ALIA,
++                            LRA,
++                            LIA,
++                            NIA,
++                            NRA,
++                            UFLRA,
++                            UFNIA,
++                            UFLIRA,
++                            QF_ABV,
++                            QF_AUFBV,
++                            QF_AUFLIA,
++                            QF_ALIA,
++                            QF_AX,
++                            QF_BV,
++                            QF_IDL,
++                            QF_LIA,
++                            QF_LRA,
++                            QF_NIA,
++                            QF_NRA,
++                            QF_RDL,
++                            QF_UF,
++                            QF_UFBV,
++                            QF_UFIDL,
++                            QF_UFLIA,
++                            QF_UFLRA,
++                            QF_UFNRA,
++                            QF_UFNIA,
++                            QF_UFLIRA,
++                            QF_SLIA
++                            ])
++
++LOGICS = SMTLIB2_LOGICS | frozenset([QF_BOOL, BOOL, QF_AUFBVLIRA, QF_NIRA])
+ 
+ QF_LOGICS = frozenset(_l for _l in LOGICS if _l.quantifier_free)
+ 
+@@ -668,8 +674,8 @@ PYSMT_LOGICS = frozenset([QF_BOOL, QF_IDL, QF_LIA, QF_LRA, QF_RDL, QF_UF, QF_UFI
+                           QF_BV, QF_UFBV,
+                           QF_ABV, QF_AUFBV, QF_AUFLIA, QF_ALIA, QF_AX,
+                           QF_AUFBVLIRA,
+-                          QF_NRA, QF_NIA, UFBV, BV,
+-                      ])
++                          QF_NRA, QF_NIA, QF_NIRA, UFBV, BV,
++                          ])
+ 
+ # PySMT Logics includes additional features:
+ #  - constant arrays: QF_AUFBV  becomes QF_AUFBV*
+@@ -697,7 +703,6 @@ for l in PYSMT_LOGICS:
+         ext_logics.add(nl)
+ 
+ 
+-
+ LOGICS = LOGICS | frozenset(ext_logics)
+ PYSMT_LOGICS = PYSMT_LOGICS | frozenset(ext_logics)
+ 
+diff --git a/pysmt/solvers/z3.py b/pysmt/solvers/z3.py
+index 3fb42b9..210b771 100644
+--- a/pysmt/solvers/z3.py
++++ b/pysmt/solvers/z3.py
+@@ -595,6 +595,8 @@ class Z3Converter(Converter, DagWalker):
+                                              None, None,
+                                              0, None,
+                                              expr.ast)
++        print("Z3: SMTLIB")
++        print(s)
+         stream_in = StringIO(s)
+         r = parser.get_script(stream_in).get_last_formula(self.mgr)
+         key = (askey(expr), None)
+diff --git a/pysmt/test/examples.py b/pysmt/test/examples.py
+index 73455ee..b653185 100644
+--- a/pysmt/test/examples.py
++++ b/pysmt/test/examples.py
+@@ -898,12 +898,12 @@ def get_full_example_formulae(environment=None):
+                     logic=pysmt.logics.QF_NRA
+                 ),
+ 
+-            Example(hr="((p ^ 2) = 0)",
+-                    expr=Equals(Pow(p, Int(2)), Int(0)),
++            Example(hr="((p ^ 2) = 0.0)",
++                    expr=Equals(Pow(p, Int(2)), Real(0)),
+                     is_valid=False,
+                     is_sat=True,
+-                    logic=pysmt.logics.QF_NIA
+-                ),
++                    logic=pysmt.logics.QF_NIRA
++                    ),
+ 
+             Example(hr="((r ^ 2.0) = 0.0)",
+                     expr=Equals(Pow(r, Real(2)), Real(0)),
+diff --git a/pysmt/test/test_back.py b/pysmt/test/test_back.py
+index bceb45b..7a0ad63 100644
+--- a/pysmt/test/test_back.py
++++ b/pysmt/test/test_back.py
+@@ -55,10 +55,10 @@ class TestBasic(TestCase):
+         res = msat.converter.back(term)
+         self.assertFalse(f == res)
+ 
+-    def do_back(self, solver_name, z3_string_buffer=False):
++    def do_back(self, solver_name, via_smtlib=False):
+         for formula, _, _, logic in get_example_formulae():
+             if logic.quantifier_free:
+-                if logic.theory.custom_type and z3_string_buffer:
++                if logic.theory.custom_type and via_smtlib:
+                     # Printing of declare-sort from Z3 is not conformant
+                     # with the SMT-LIB. We might consider extending our
+                     # parser.
+@@ -67,7 +67,7 @@ class TestBasic(TestCase):
+                     s = Solver(name=solver_name, logic=logic)
+                     term = s.converter.convert(formula)
+                     if solver_name == "z3":
+-                        if z3_string_buffer:
++                        if via_smtlib:
+                             res = s.converter.back_via_smtlib(term)
+                         else:
+                             res = s.converter.back(term)
+@@ -84,8 +84,8 @@ class TestBasic(TestCase):
+ 
+     @skipIfSolverNotAvailable("z3")
+     def test_z3_back_formulae(self):
+-        self.do_back("z3", z3_string_buffer=False)
+-        self.do_back("z3", z3_string_buffer=True)
++        self.do_back("z3", via_smtlib=True)
++        self.do_back("z3", via_smtlib=False)
+ 
+ 
+ if __name__ == '__main__':
+diff --git a/pysmt/type_checker.py b/pysmt/type_checker.py
+index b700fcf..7ce05aa 100644
+--- a/pysmt/type_checker.py
++++ b/pysmt/type_checker.py
+@@ -33,6 +33,8 @@ class SimpleTypeChecker(walkers.DagWalker):
+ 
+     def __init__(self, env=None):
+         walkers.DagWalker.__init__(self, env=env)
++        # Return None if the type cannot be computed rather than
++        # raising an exception.
+         self.be_nice = False
+ 
+     def _get_key(self, formula, **kwargs):
+@@ -42,7 +44,7 @@ class SimpleTypeChecker(walkers.DagWalker):
+         """ Returns the pysmt.types type of the formula """
+         res = self.walk(formula)
+         if not self.be_nice and res is None:
+-            raise PysmtTypeError("The formula '%s' is not well-formed" \
++            raise PysmtTypeError("The formula '%s' is not well-formed"
+                                  % str(formula))
+         return res
+ 
+@@ -114,7 +116,7 @@ class SimpleTypeChecker(walkers.DagWalker):
+ 
+     def walk_bv_comp(self, formula, args, **kwargs):
+         # We check that all children are BV and the same size
+-        a,b = args
++        a, b = args
+         if a != b or (not a.is_bv_type()):
+             return None
+         return BVType(1)
+@@ -187,7 +189,7 @@ class SimpleTypeChecker(walkers.DagWalker):
+         if args[0].is_bool_type():
+             raise PysmtTypeError("The formula '%s' is not well-formed."
+                                  "Equality operator is not supported for Boolean"
+-                                 " terms. Use Iff instead." \
++                                 " terms. Use Iff instead."
+                                  % str(formula))
+         elif args[0].is_bv_type():
+             return self.walk_bv_to_bool(formula, args)
+@@ -324,10 +326,7 @@ class SimpleTypeChecker(walkers.DagWalker):
+     def walk_pow(self, formula, args, **kwargs):
+         if args[0] != args[1]:
+             return None
+-        # Exponent must be positive for INT
+-        if args[0].is_int_type() and formula.arg(1).constant_value() < 0 :
+-            return None
+-        return args[0]
++        return REAL
+ 
+ # EOC SimpleTypeChecker
+ 
diff --git a/gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch b/gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch
new file mode 100644
index 0000000000..eee555f807
--- /dev/null
+++ b/gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch
@@ -0,0 +1,86 @@
+Backport of an upstream patch fixing a test suite failure.
+
+Taken from: https://github.com/pysmt/pysmt/commit/a246669a487aff69f5da34570ef867841d18508a
+
+diff --git a/pysmt/test/smtlib/test_parser_examples.py b/pysmt/test/smtlib/test_parser_examples.py
+index cca4194..c0852be 100644
+--- a/pysmt/test/smtlib/test_parser_examples.py
++++ b/pysmt/test/smtlib/test_parser_examples.py
+@@ -29,6 +29,7 @@ from pysmt.shortcuts import Iff
+ from pysmt.shortcuts import read_smtlib, write_smtlib, get_env
+ from pysmt.exceptions import PysmtSyntaxError
+ 
++
+ class TestSMTParseExamples(TestCase):
+ 
+     def test_parse_examples(self):
+@@ -41,7 +42,6 @@ class TestSMTParseExamples(TestCase):
+             buf = StringIO()
+             script_out = smtlibscript_from_formula(f_out)
+             script_out.serialize(outstream=buf)
+-            #print(buf)
+ 
+             buf.seek(0)
+             parser = SmtLibParser()
+@@ -49,7 +49,6 @@ class TestSMTParseExamples(TestCase):
+             f_in = script_in.get_last_formula()
+             self.assertEqual(f_in.simplify(), f_out.simplify())
+ 
+-
+     @skipIfNoSolverForLogic(logics.QF_BV)
+     def test_parse_examples_bv(self):
+         """For BV we represent a superset of the operators defined in SMT-LIB.
+@@ -108,7 +107,18 @@ class TestSMTParseExamples(TestCase):
+             self.assertValid(Iff(f_in, f_out), f_in.serialize())
+ 
+     def test_dumped_logic(self):
+-        # Dumped logic matches the logic in the example
++        # Dumped logic matches the logic in the example.
++        #
++        # There are a few cases where we use a logic
++        # that does not exist in SMT-LIB, and the SMT-LIB
++        # serialization logic will find a logic that
++        # is more expressive. We need to adjust the test
++        # for those cases (see rewrite dict below).
++        rewrite = {
++            logics.QF_BOOL: logics.QF_UF,
++            logics.BOOL: logics.LRA,
++            logics.QF_NIRA: logics.AUFNIRA,
++        }
+         fs = get_example_formulae()
+ 
+         for (f_out, _, _, logic) in fs:
+@@ -121,14 +131,9 @@ class TestSMTParseExamples(TestCase):
+             for cmd in script_in:
+                 if cmd.name == "set-logic":
+                     logic_in = cmd.args[0]
+-                    if logic == logics.QF_BOOL:
+-                        self.assertEqual(logic_in, logics.QF_UF)
+-                    elif logic == logics.BOOL:
+-                        self.assertEqual(logic_in, logics.LRA)
+-                    else:
+-                        self.assertEqual(logic_in, logic, script_in)
++                    self.assertEqual(logic_in, rewrite.get(logic, logic))
+                     break
+-            else: # Loops exited normally
++            else:  # Loops exited normally
+                 print("-"*40)
+                 print(script_in)
+ 
+@@ -136,7 +141,7 @@ class TestSMTParseExamples(TestCase):
+         fs = get_example_formulae()
+ 
+         fdi, tmp_fname = mkstemp()
+-        os.close(fdi) # Close initial file descriptor
++        os.close(fdi)  # Close initial file descriptor
+         for (f_out, _, _, _) in fs:
+             write_smtlib(f_out, tmp_fname)
+             # with open(tmp_fname) as fin:
+@@ -197,7 +202,6 @@ class TestSMTParseExamples(TestCase):
+         f_in = script.get_last_formula()
+         self.assertSat(f_in)
+ 
+-
+     def test_int_promotion_define_fun(self):
+         script = """
+         (define-fun x () Int 8)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 5fe5c0d60a..055f7ea553 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -32303,6 +32303,40 @@ (define-public python-opcodes
 and BMI2).")
       (license license:bsd-2))))
 
+(define-public python-pysmt
+  (package
+    (name "python-pysmt")
+    (version "0.9.5")
+    (source
+     (origin
+       (method git-fetch)
+       (patches (search-patches "python-pysmt-fix-pow-return-type.patch"
+                 "python-pysmt-fix-smtlib-serialization-test.patch"))
+       (uri (git-reference
+             (url "https://github.com/pysmt/pysmt")
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "0hrxv23y5ip4ijfx5pvbwc2fq4zg9jz42wc9zqgqm0g0mjc9ckvh"))))
+    (build-system pyproject-build-system)
+    (arguments
+     `(#:phases (modify-phases %standard-phases
+                  (replace 'check
+                    (lambda* (#:key tests? #:allow-other-keys)
+                      (when tests?
+                        (setenv "PYSMT_SOLVER" "z3")
+                        (invoke "python" "-m" "pytest" "pysmt" "-v")))))))
+    (native-inputs (list python-pytest))
+    (propagated-inputs (list z3))
+    (home-page "https://github.com/pysmt/pysmt")
+    (synopsis
+     "Solver-agnostic library for SMT formula manipulation and solving")
+    (description
+     "This Python module provides a solver-agnostic abstraction for
+working with Satisfiability Modulo Theory (SMT) formulas  For example,
+it allows manipulation and solving such formulas.")
+    (license license:asl2.0)))
+
 (define-public python-rpyc
   (package
     (name "python-rpyc")




Message sent to lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#69074] [PATCH] gnu: Add python-archinfo.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN
Resent-Date: Mon, 12 Feb 2024 15:00:10 +0000
Resent-Message-ID: <handler.69074.B69074.170774996426167 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69074
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 69074 <at> debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
X-Debbugs-Original-Xcc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>, Munyoki Kilyungi <me@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Received: via spool by 69074-submit <at> debbugs.gnu.org id=B69074.170774996426167
          (code B ref 69074); Mon, 12 Feb 2024 15:00:10 +0000
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:24 +0000
Received: from localhost ([127.0.0.1]:35395 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rZXmG-0006no-5n
	for submit <at> debbugs.gnu.org; Mon, 12 Feb 2024 09:59:24 -0500
Received: from magnesium.8pit.net
 ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:36117)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <soeren@HIDDEN>)
 id 1rZXm5-0006lY-Rv; Mon, 12 Feb 2024 09:59:14 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=iynVI4DlyH
 L13xe9XRk13R6/cam6WbLYrhaURz4cy6Y=;
 h=references:in-reply-to:date:
 subject:to:from; d=soeren-tempel.net; b=Qg+eIa85kLcM2HuDqc0rHbhfJim+fk
 ofcCBnSM0iplLyhJERXypvNXaMmts/4i7uMublzNksCSCPbxFUM628IXtR/k75Sam6Z7Z/
 BwZD9gWgvyhBTNpLfp+vkk2qy4PPGBVTuwRDHAzmlZ/is+qybJHG0CQWUMNxXvE9t+RvB/
 w=
Received: from localhost
 (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de
 [2a02:3102:49da:1b:6371:147f:665b:ad6e])
 by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 1168b386
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); 
 Mon, 12 Feb 2024 15:58:50 +0100 (CET)
From: soeren@HIDDEN
Date: Mon, 12 Feb 2024 15:58:23 +0100
Message-ID: <c1ec2100fa315f637402168a5377c1139ace6521.1707749005.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.43.1
In-Reply-To: <cover.1707749005.git.soeren@HIDDEN>
References: <cover.1707749005.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

From: Sören Tempel <soeren@HIDDEN>

* gnu/packages/python-xyz.scm (python-archinfo): New variable.
---
 gnu/packages/python-xyz.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 6c73948dd8..ba3e85fd2d 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -189,6 +189,7 @@ (define-module (gnu packages python-xyz)
   #:use-module (gnu packages djvu)
   #:use-module (gnu packages docker)
   #:use-module (gnu packages documentation)
+  #:use-module (gnu packages engineering)
   #:use-module (gnu packages enchant)
   #:use-module (gnu packages file)
   #:use-module (gnu packages fonts)
@@ -32303,6 +32304,32 @@ (define-public python-opcodes
 and BMI2).")
       (license license:bsd-2))))
 
+(define-public python-archinfo
+  (package
+    (name "python-archinfo")
+    (version "9.2.46")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "archinfo" version))
+       (sha256
+        (base32 "037xfq3wcf8ngayxz9623l4646m780v2102mfbygpzbkkjha1966"))))
+    (build-system pyproject-build-system)
+    (propagated-inputs (list python-capstone python-keystone-engine))
+    (arguments
+     `(#:phases (modify-phases %standard-phases
+                  (replace 'check
+                    (lambda* (#:key tests? #:allow-other-keys)
+                      (when tests?
+                        (with-directory-excursion "tests"
+                          (invoke "python" "-m" "unittest"))))))))
+    (home-page "https://github.com/angr/archinfo")
+    (synopsis "Extract architecture-specific information from binaries")
+    (description
+     "Collection of classes that contain architecture-specific information
+information.  Useful for cross-architecture tools (such as @code{python-pyvex}).")
+    (license license:bsd-2)))
+
 (define-public python-claripy
   (package
     (name "python-claripy")





Last modified: Mon, 12 Feb 2024 15:00:03 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.