hyperlight-dev / hyperlight-dev/hyperlight
Verify soundness of `ResourceEntry`
Ouverte
area/API
lifecycle/confirmed
- Langage dominant
- Rust
- Étoiles
- 4.7k
- Forks
- 208
- Merge moyen
- 1 j 7 h
- PR mergées (30 j)
- 47
Description
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.
Guide de contribution
Ouvrir le guide de contribution
Évaluation
Cette issue n'a pas encore été évaluée.