kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
327973 commits 166 branches 0 tags 1.5 GiB
Commit graph

5 commits

Author SHA1 Message Date
khorben
96f5397da9 py-angr: update to version 9.0.4378 
The project did not release any list of changes. This spans 7 years worth
of commits; tough to summarize for an outsider.
 2020-09-28 22:56:38 +00:00
riastradh
dc28a321af Update py-angr to 8.20.7.27, along with associated packages. 
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-18 20:24:57 +00:00
riastradh
e66ca0acc9 math/py-claripy: Add depends and tests. 2020-08-18 20:14:43 +00:00
wiz
58cb1906b1 py-angr: update py-angr and dependencies (all from the angr project) to 8.20.1.7 
This now only supports python 3.x.

Other changes not documented.
 2020-01-09 14:02:31 +00:00
khorben
b425c9a85f 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.
 2018-03-15 02:24:18 +00:00