CVS commit: pkgsrc/math/py-claripy

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/math/py-claripy
From: "Pierre Pronchery" <khorben%netbsd.org@localhost>
Date: Thu, 15 Mar 2018 02:24:18 +0000

Module Name:    pkgsrc
Committed By:   khorben
Date:           Thu Mar 15 02:24:18 UTC 2018

Added Files:
        pkgsrc/math/py-claripy: DESCR Makefile PLIST distinfo

Log Message:
Import py-claripy version 7.8.2.21 from wip

Claripy is an abstracted constraint-solving wrapper.
It is maintained by the angr organization on GitHub.

General usage is similar to z3.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/py-claripy/DESCR \
    pkgsrc/math/py-claripy/Makefile pkgsrc/math/py-claripy/PLIST \
    pkgsrc/math/py-claripy/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/math/py-claripy/DESCR
diff -u /dev/null pkgsrc/math/py-claripy/DESCR:1.1
--- /dev/null   Thu Mar 15 02:24:18 2018
+++ pkgsrc/math/py-claripy/DESCR        Thu Mar 15 02:24:18 2018
@@ -0,0 +1,3 @@
+Claripy is an abstracted constraint-solving wrapper.
+
+General usage is similar to z3.
Index: pkgsrc/math/py-claripy/Makefile
diff -u /dev/null pkgsrc/math/py-claripy/Makefile:1.1
--- /dev/null   Thu Mar 15 02:24:18 2018
+++ pkgsrc/math/py-claripy/Makefile     Thu Mar 15 02:24:18 2018
@@ -0,0 +1,18 @@
+# $NetBSD: Makefile,v 1.1 2018/03/15 02:24:18 khorben Exp $
+
+DISTNAME=      claripy-7.8.2.21
+PKGNAME=       ${PYPKGPREFIX}-${EGG_NAME}
+CATEGORIES=    math
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=angr/}
+GITHUB_PROJECT=        claripy
+GITHUB_TAG=    74a79e034f87369d26846cb7751276b191319e59
+
+MAINTAINER=    khorben%defora.org@localhost
+HOMEPAGE=      https://github.com/angr/claripy/
+COMMENT=       Abstraction layer for constraint solvers
+LICENSE=       2-clause-bsd
+
+PYTHON_VERSIONS_ACCEPTED=      27
+
+.include "../../lang/python/egg.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/py-claripy/PLIST
diff -u /dev/null pkgsrc/math/py-claripy/PLIST:1.1
--- /dev/null   Thu Mar 15 02:24:18 2018
+++ pkgsrc/math/py-claripy/PLIST        Thu Mar 15 02:24:18 2018
@@ -0,0 +1,183 @@
+@comment $NetBSD: PLIST,v 1.1 2018/03/15 02:24:18 khorben Exp $
+${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
+${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
+${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
+${PYSITELIB}/${EGG_INFODIR}/requires.txt
+${PYSITELIB}/${EGG_INFODIR}/top_level.txt
+${PYSITELIB}/claripy/__init__.py
+${PYSITELIB}/claripy/__init__.pyc
+${PYSITELIB}/claripy/__init__.pyo
+${PYSITELIB}/claripy/annotation.py
+${PYSITELIB}/claripy/annotation.pyc
+${PYSITELIB}/claripy/annotation.pyo
+${PYSITELIB}/claripy/ast/__init__.py
+${PYSITELIB}/claripy/ast/__init__.pyc
+${PYSITELIB}/claripy/ast/__init__.pyo
+${PYSITELIB}/claripy/ast/base.py
+${PYSITELIB}/claripy/ast/base.pyc
+${PYSITELIB}/claripy/ast/base.pyo
+${PYSITELIB}/claripy/ast/bits.py
+${PYSITELIB}/claripy/ast/bits.pyc
+${PYSITELIB}/claripy/ast/bits.pyo
+${PYSITELIB}/claripy/ast/bool.py
+${PYSITELIB}/claripy/ast/bool.pyc
+${PYSITELIB}/claripy/ast/bool.pyo
+${PYSITELIB}/claripy/ast/bv.py
+${PYSITELIB}/claripy/ast/bv.pyc
+${PYSITELIB}/claripy/ast/bv.pyo
+${PYSITELIB}/claripy/ast/fp.py
+${PYSITELIB}/claripy/ast/fp.pyc
+${PYSITELIB}/claripy/ast/fp.pyo
+${PYSITELIB}/claripy/ast/int.py
+${PYSITELIB}/claripy/ast/int.pyc
+${PYSITELIB}/claripy/ast/int.pyo
+${PYSITELIB}/claripy/ast/vs.py
+${PYSITELIB}/claripy/ast/vs.pyc
+${PYSITELIB}/claripy/ast/vs.pyo
+${PYSITELIB}/claripy/backend_manager.py
+${PYSITELIB}/claripy/backend_manager.pyc
+${PYSITELIB}/claripy/backend_manager.pyo
+${PYSITELIB}/claripy/backend_object.py
+${PYSITELIB}/claripy/backend_object.pyc
+${PYSITELIB}/claripy/backend_object.pyo
+${PYSITELIB}/claripy/backends/__init__.py
+${PYSITELIB}/claripy/backends/__init__.pyc
+${PYSITELIB}/claripy/backends/__init__.pyo
+${PYSITELIB}/claripy/backends/backend_concrete.py
+${PYSITELIB}/claripy/backends/backend_concrete.pyc
+${PYSITELIB}/claripy/backends/backend_concrete.pyo
+${PYSITELIB}/claripy/backends/backend_vsa.py
+${PYSITELIB}/claripy/backends/backend_vsa.pyc
+${PYSITELIB}/claripy/backends/backend_vsa.pyo
+${PYSITELIB}/claripy/backends/backend_z3.py
+${PYSITELIB}/claripy/backends/backend_z3.pyc
+${PYSITELIB}/claripy/backends/backend_z3.pyo
+${PYSITELIB}/claripy/backends/backend_z3_parallel.py
+${PYSITELIB}/claripy/backends/backend_z3_parallel.pyc
+${PYSITELIB}/claripy/backends/backend_z3_parallel.pyo
+${PYSITELIB}/claripy/backends/backendremote.py
+${PYSITELIB}/claripy/backends/backendremote.pyc
+${PYSITELIB}/claripy/backends/backendremote.pyo
+${PYSITELIB}/claripy/backends/celeryconfig.py
+${PYSITELIB}/claripy/backends/celeryconfig.pyc
+${PYSITELIB}/claripy/backends/celeryconfig.pyo
+${PYSITELIB}/claripy/backends/remotetasks.py
+${PYSITELIB}/claripy/backends/remotetasks.pyc
+${PYSITELIB}/claripy/backends/remotetasks.pyo
+${PYSITELIB}/claripy/balancer.py
+${PYSITELIB}/claripy/balancer.pyc
+${PYSITELIB}/claripy/balancer.pyo
+${PYSITELIB}/claripy/bv.py
+${PYSITELIB}/claripy/bv.pyc
+${PYSITELIB}/claripy/bv.pyo
+${PYSITELIB}/claripy/errors.py
+${PYSITELIB}/claripy/errors.pyc
+${PYSITELIB}/claripy/errors.pyo
+${PYSITELIB}/claripy/fp.py
+${PYSITELIB}/claripy/fp.pyc
+${PYSITELIB}/claripy/fp.pyo
+${PYSITELIB}/claripy/frontend.py
+${PYSITELIB}/claripy/frontend.pyc
+${PYSITELIB}/claripy/frontend.pyo
+${PYSITELIB}/claripy/frontend_mixins/__init__.py
+${PYSITELIB}/claripy/frontend_mixins/__init__.pyc
+${PYSITELIB}/claripy/frontend_mixins/__init__.pyo
+${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/debug_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/debug_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/debug_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.pyo
+${PYSITELIB}/claripy/frontends/__init__.py
+${PYSITELIB}/claripy/frontends/__init__.pyc
+${PYSITELIB}/claripy/frontends/__init__.pyo
+${PYSITELIB}/claripy/frontends/composite_frontend.py
+${PYSITELIB}/claripy/frontends/composite_frontend.pyc
+${PYSITELIB}/claripy/frontends/composite_frontend.pyo
+${PYSITELIB}/claripy/frontends/constrained_frontend.py
+${PYSITELIB}/claripy/frontends/constrained_frontend.pyc
+${PYSITELIB}/claripy/frontends/constrained_frontend.pyo
+${PYSITELIB}/claripy/frontends/full_frontend.py
+${PYSITELIB}/claripy/frontends/full_frontend.pyc
+${PYSITELIB}/claripy/frontends/full_frontend.pyo
+${PYSITELIB}/claripy/frontends/hybrid_frontend.py
+${PYSITELIB}/claripy/frontends/hybrid_frontend.pyc
+${PYSITELIB}/claripy/frontends/hybrid_frontend.pyo
+${PYSITELIB}/claripy/frontends/light_frontend.py
+${PYSITELIB}/claripy/frontends/light_frontend.pyc
+${PYSITELIB}/claripy/frontends/light_frontend.pyo
+${PYSITELIB}/claripy/frontends/replacement_frontend.py
+${PYSITELIB}/claripy/frontends/replacement_frontend.pyc
+${PYSITELIB}/claripy/frontends/replacement_frontend.pyo
+${PYSITELIB}/claripy/operations.py
+${PYSITELIB}/claripy/operations.pyc
+${PYSITELIB}/claripy/operations.pyo
+${PYSITELIB}/claripy/ops.py
+${PYSITELIB}/claripy/ops.pyc
+${PYSITELIB}/claripy/ops.pyo
+${PYSITELIB}/claripy/solvers.py
+${PYSITELIB}/claripy/solvers.pyc
+${PYSITELIB}/claripy/solvers.pyo
+${PYSITELIB}/claripy/utils/__init__.py
+${PYSITELIB}/claripy/utils/__init__.pyc
+${PYSITELIB}/claripy/utils/__init__.pyo
+${PYSITELIB}/claripy/utils/orderedset.py
+${PYSITELIB}/claripy/utils/orderedset.pyc
+${PYSITELIB}/claripy/utils/orderedset.pyo
+${PYSITELIB}/claripy/utils/transition.py
+${PYSITELIB}/claripy/utils/transition.pyc
+${PYSITELIB}/claripy/utils/transition.pyo
+${PYSITELIB}/claripy/vsa/__init__.py
+${PYSITELIB}/claripy/vsa/__init__.pyc
+${PYSITELIB}/claripy/vsa/__init__.pyo
+${PYSITELIB}/claripy/vsa/abstract_location.py
+${PYSITELIB}/claripy/vsa/abstract_location.pyc
+${PYSITELIB}/claripy/vsa/abstract_location.pyo
+${PYSITELIB}/claripy/vsa/bool_result.py
+${PYSITELIB}/claripy/vsa/bool_result.pyc
+${PYSITELIB}/claripy/vsa/bool_result.pyo
+${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.py
+${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.pyc
+${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.pyo
+${PYSITELIB}/claripy/vsa/errors.py
+${PYSITELIB}/claripy/vsa/errors.pyc
+${PYSITELIB}/claripy/vsa/errors.pyo
+${PYSITELIB}/claripy/vsa/strided_interval.py
+${PYSITELIB}/claripy/vsa/strided_interval.pyc
+${PYSITELIB}/claripy/vsa/strided_interval.pyo
+${PYSITELIB}/claripy/vsa/valueset.py
+${PYSITELIB}/claripy/vsa/valueset.pyc
+${PYSITELIB}/claripy/vsa/valueset.pyo
Index: pkgsrc/math/py-claripy/distinfo
diff -u /dev/null pkgsrc/math/py-claripy/distinfo:1.1
--- /dev/null   Thu Mar 15 02:24:18 2018
+++ pkgsrc/math/py-claripy/distinfo     Thu Mar 15 02:24:18 2018
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2018/03/15 02:24:18 khorben Exp $
+
+SHA1 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 41e3cc5e785fbd962aca9a811d398e1a632e9625
+RMD160 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = cccfc6f424ffb1b239ed7f811876f435da86fa81
+SHA512 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 
4c85099cf2e0a9921aed1f52a11760d9cc0992e78798714ca1b3b68fff4f00ef1deddd83d9fc124fd9be8b926733276ddbff5de5848f3e04eef9056a3800300a
+Size (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 119801 bytes

Prev by Date: CVS commit: pkgsrc/doc
Next by Date: CVS commit: pkgsrc/math
Previous by Thread: CVS commit: pkgsrc/doc
Next by Thread: CVS commit: pkgsrc/math
Indexes:

Home | Main Index | Thread Index | Old Index