summaryrefslogtreecommitdiff
path: root/math/py-claripy
AgeCommit message (Collapse)AuthorFilesLines
2021-10-26math: Replace RMD160 checksums with BLAKE2s checksumsnia1-2/+2
All checksums have been double-checked against existing RMD160 and SHA512 hashes
2021-10-07math: Remove SHA1 hashes for distfilesnia1-2/+1
2021-06-02py-angr: update to version 9.0.7833khorben1-5/+5
This also affects py-{ailment,archinfo,cle,pyvex,claripy}, which get updated to the same version at the same time. I could not find any specific release notes or changelog. The whole list of changes can be found at: https://github.com/angr/angr/compare/v9.0.4378...v9.0.7833.
2020-09-28py-angr: update to version 9.0.4378khorben3-9/+9
The project did not release any list of changes. This spans 7 years worth of commits; tough to summarize for an outsider.
2020-08-18Update py-angr to 8.20.7.27, along with associated packages.riastradh2-8/+10
Version is consolidated into devel/py-angr/version.mk now so the next person to come along will know what else needs to be updated. devel/py-pyvex distfiles are still kinda kludgey, and devel/py-angr's tests don't run without binary samples that I got bored trying to incorporate.
2020-08-18math/py-claripy: Add depends and tests.riastradh1-1/+12
2020-01-09py-angr: update py-angr and dependencies (all from the angr project) to 8.20.1.7wiz3-13/+49
This now only supports python 3.x. Other changes not documented.
2018-03-15Import py-claripy version 7.8.2.21 from wipkhorben4-0/+210
Claripy is an abstracted constraint-solving wrapper. It is maintained by the angr organization on GitHub. General usage is similar to z3.