angr / angr/angr-management

Config schema, preferences UI generation

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

Descrizione

### Description

It would be nice to auto-generate the preferences interface based on a well-defined schema to reduce the friction of adding new config options. Further, we could replace existing config management with an existing schema based validation library.

### Alternatives

#1003

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