diff options
author | khorben <khorben@pkgsrc.org> | 2018-03-15 02:24:18 +0000 |
---|---|---|
committer | khorben <khorben@pkgsrc.org> | 2018-03-15 02:24:18 +0000 |
commit | 9cd6d534f45e9feddf2a4611592cc58aac60931a (patch) | |
tree | 9935ab5fac210d5e15bdd65c32dceb01167ff0da /math/py-claripy | |
parent | 31afcd32bffc65e861c959cbb196071b97a84bce (diff) | |
download | pkgsrc-9cd6d534f45e9feddf2a4611592cc58aac60931a.tar.gz |
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.
Diffstat (limited to 'math/py-claripy')
-rw-r--r-- | math/py-claripy/DESCR | 3 | ||||
-rw-r--r-- | math/py-claripy/Makefile | 18 | ||||
-rw-r--r-- | math/py-claripy/PLIST | 183 | ||||
-rw-r--r-- | math/py-claripy/distinfo | 6 |
4 files changed, 210 insertions, 0 deletions
diff --git a/math/py-claripy/DESCR b/math/py-claripy/DESCR new file mode 100644 index 00000000000..63e60a6c8fb --- /dev/null +++ b/math/py-claripy/DESCR @@ -0,0 +1,3 @@ +Claripy is an abstracted constraint-solving wrapper. + +General usage is similar to z3. diff --git a/math/py-claripy/Makefile b/math/py-claripy/Makefile new file mode 100644 index 00000000000..300b2334b5f --- /dev/null +++ b/math/py-claripy/Makefile @@ -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 +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" diff --git a/math/py-claripy/PLIST b/math/py-claripy/PLIST new file mode 100644 index 00000000000..a143e1ba875 --- /dev/null +++ b/math/py-claripy/PLIST @@ -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 diff --git a/math/py-claripy/distinfo b/math/py-claripy/distinfo new file mode 100644 index 00000000000..a080909c854 --- /dev/null +++ b/math/py-claripy/distinfo @@ -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 |