search

angr / claripy

An abstraction layer for constraint solvers.
BSD 2-Clause "Simplified" License
291 stars 94 forks source link

Remove SI to_conv arg #529

Closed twizmwazin closed 1 month ago

twizmwazin commented 1 month ago

This gets us closer to isolating the AST

https://github.com/angr/angr/pull/4917