angr / angr/angr-management

Move all mango-related code into dep viewer plugin

Offen
#1,206 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
enhancement needs-triage
Vorherrschende Sprache
Python
Sterne
1.2k
Forks
131
Ø Merge
1 T. 11 Std.
Gemergte PRs (30 T.)
14

Beschreibung

### 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_

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.