angr / angr/angr-management

Move all mango-related code into dep viewer plugin

Aperta
#1,206 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
enhancement needs-triage
Lingua principale
Python
Stelle
1.2k
Fork
131
Merge medio
1g 11h
PR unite (30g)
14

Descrizione

### Description

Right now mango integration is in the main project. Part of it is a plugin, but the views and widgets are part of the main thing. We should move those out to the plugin.

### Alternatives

_No response_

### Additional context

_No response_

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.