hyperlight-dev / hyperlight-dev/hyperlight
Verify soundness of `ResourceEntry`
未關閉
area/API
lifecycle/confirmed
- 主要語言
- Rust
- 星號
- 4.7k
- 分支
- 208
- 平均合併
- 1 天 7 小時
- 30 天內合併 PR
- 47
描述
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.
貢獻指南
評估
這個 Issue 還沒有評估資料。