hyperlight-dev / hyperlight-dev/hyperlight
Verify soundness of `ResourceEntry`
Aperta
area/API
lifecycle/confirmed
- Lingua principale
- Rust
- Stelle
- 4.7k
- Fork
- 208
- Merge medio
- 1g 7h
- PR unite (30g)
- 47
Descrizione
We should check in more depth that the `ResourceEntry` abstraction for treating component-model borrows like Rust borrows is sound. We should look for a more detailed formal argument relating the formalism for component-model borrows to some Rust model e.g. Stacked Borrows.
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.