hyperlight-dev / hyperlight-dev/hyperlight
Verify soundness of `ResourceEntry`
Offen
#577
0 Kommentare
0 Reaktionen
1 zugewiesene Person
Beansprucht von @syntactically
Auf GitHub ansehen
area/API
lifecycle/confirmed
- Vorherrschende Sprache
- Rust
- Sterne
- 4.7k
- Forks
- 208
- Ø Merge
- 1 T. 7 Std.
- Gemergte PRs (30 T.)
- 47
Beschreibung
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.
Beitragsleitfaden
Bewertung
Dieses Issue wurde noch nicht bewertet.