trailofbits/manticore

View on GitHub

Minor state/platform refactor
#1320

disconnect3d wants to merge minor-refactor into master

We do not currently have an analysis of these two commits