issues
search
angr
/
claripy
An abstraction layer for constraint solvers.
BSD 2-Clause "Simplified" License
284
stars
93
forks
source link
[pre-commit.ci] pre-commit autoupdate
#386
Closed
pre-commit-ci[bot]
closed
8 months ago
pre-commit-ci[bot]
commented
8 months ago
updates:
github.com/abravalheri/validate-pyproject: v0.15 → v0.16
github.com/psf/black: 23.12.1 → 24.1.1
updates: