./math/py-claripy, Abstraction layer for constraint solvers

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 9.2.98, Package name: py312-claripy-9.2.98, Maintainer: khorben

Claripy is an abstracted constraint-solving wrapper.

General usage is similar to z3.


Required to run:
[devel/py-setuptools] [lang/python37]

Required to build:
[pkgtools/cwrappers]

Master sites:

Filesize: 156.538 KB

Version history: (Expand)

CVS history: (Expand)


   2024-11-11 08:29:31 by Thomas Klausner | Files touched by this commit (862) 
Log message:
py-*: remove unused tool dependency

py-setuptools includes the py-wheel functionality nowadays
   2024-10-14 08:46:10 by Thomas Klausner | Files touched by this commit (325) 
Log message:
*: clean-up after python38 removal
   2024-08-07 21:26:01 by Thomas Klausner | Files touched by this commit (1) 
Log message:
py-claripy: leave more python options open
   2024-08-07 18:11:47 by Jonathan Perkin | Files touched by this commit (1) 
Log message:
py-claripy: Not for 38, 39, 310, 311, and 312.

Not sure this leaves any valid python versions...
   2024-04-10 18:49:10 by Adam Ciarcinski | Files touched by this commit (10) | Package updated
Log message:
py-angr family: updated to 9.2.98

9.2.98
Bug fixes
   2024-02-07 10:56:52 by Adam Ciarcinski | Files touched by this commit (12) | Package updated
Log message:
py-angr: updated to 9.2.89

9.2.89
Bug fixes
   2024-01-30 20:24:36 by Adam Ciarcinski | Files touched by this commit (20) | Package updated
Log message:
py-angr py-cle py-pyvex py-archinfo py-claripy py-ailment: updated to 9.2.87

9.2.87
Unknown changes
   2023-10-28 21:57:26 by Thomas Klausner | Files touched by this commit (516) | Package updated
Log message:
python/wheel.mk: simplify a lot, and switch to 'installer' for installation

This follows the recommended bootstrap method (flit_core, build, installer).

However, installer installs different files than pip, so update PLISTs
for all packages using wheel.mk and bump their PKGREVISIONs.