Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:24 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:59:24 2024
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
To: 69074 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-archinfo.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 69074
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")
lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:24 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:59:24 2024
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
To: 69074 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-pysmt.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 69074
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")
lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:22 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:59:22 2024
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
To: 69074 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-claripy.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 69074
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")
lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:20 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:59:20 2024
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
To: 69074 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-rpyc.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 69074
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")
lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:19 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:59:19 2024
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
To: 69074 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-nampa.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 69074
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")
lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:17 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:59:17 2024
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
To: 69074 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-mulpyplexer.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 69074
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")
lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:16 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:59:16 2024
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
To: 69074 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-keystone-engine.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.7 (/)
X-Debbugs-Envelope-To: 69074
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")
lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
Received: (at 69074) by debbugs.gnu.org; 12 Feb 2024 14:59:08 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:59:08 2024
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
To: 69074 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-itanium-demangle.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 69074
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")
lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
Received: (at submit) by debbugs.gnu.org; 12 Feb 2024 14:57:57 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 12 09:57:56 2024
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
To: guix-patches@HIDDEN
Subject: [PATCH] Add python-angr.
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
X-Debbugs-Cc: Lars-Dominik Braun <lars@HIDDEN>, Marius Bakke <marius@HIDDEN>,
Munyoki Kilyungi <me@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, jgart <jgart@HIDDEN>
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: 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 [...]
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-Debbugs-Envelope-To: submit
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
soeren@HIDDEN:lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN.
Full text available.lars@HIDDEN, marius@HIDDEN, me@HIDDEN, sharlatanus@HIDDEN, jgart@HIDDEN, guix-patches@HIDDEN:bug#69074; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.