Age | Commit message (Collapse) | Author | Files | Lines |
|
All checksums have been double-checked against existing RMD160 and
SHA512 hashes
|
|
|
|
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.
|
|
The project did not release any list of changes. This spans 7 years worth
of commits; tough to summarize for an outsider.
|
|
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.
|
|
|
|
This now only supports python 3.x.
Other changes not documented.
|
|
Claripy is an abstracted constraint-solving wrapper.
It is maintained by the angr organization on GitHub.
General usage is similar to z3.
|