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 还没有评估数据。