./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-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.
   2023-06-20 12:20:21 by Adam Ciarcinski | Files touched by this commit (2) 
Log message:
py-claripy: relax z3-solver requirement
   2023-05-17 17:41:25 by Adam Ciarcinski | Files touched by this commit (9) | Package updated
Log message:
py-ailment py-angr py-archinfo py-cle py-pyvex py-claripy: updated to 9.2.51

9.2.51
Bug fixes
   2023-05-11 09:20:30 by Adam Ciarcinski | Files touched by this commit (3) | Package updated
Log message:
py-claripy: updated to 9.2.50

9.2.50
Unknown changes
   2022-01-04 21:55:40 by Thomas Klausner | Files touched by this commit (1595) 
Log message:
*: bump PKGREVISION for egg.mk users

They now have a tool dependency on py-setuptools instead of a DEPENDS