angr-dev

angr-dev copied to clipboard

Editable build in strict mode (#187) prevents git updates and breaks angr management plugins

1

### Description #187 installs angr management (and other angr libraries) in strict mode for editable build, which leads to two problems: - `git pull` each repo no longer updates the...

ltfish

Trim dependencies and test more distros

1

This trims down the dependency lists to only include what is needed to build and install the core repos. If more packages are needed for tests, we should add them...

twizmwazin

Trim native depedencies in setup.sh

3

Currently we have multiple lists of native dependencies for different OSes that people have installed angr-dev on. Some of these lists are quite long, others are quite short, and for...

twizmwazin