trailofbits/manticore

View on GitHub

Minor evm refactor
#1329

disconnect3d wants to merge small-refactor into master

We do not currently have an analysis of these two commits