hyperlight-dev / hyperlight-dev/hyperlight
Verify soundness of `ResourceEntry`
オープン
area/API
lifecycle/confirmed
- 主要言語
- Rust
- スター
- 4.7k
- フォーク
- 208
- 平均マージ
- 1日 7時間
- マージ済み PR（30日）
- 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 はまだ評価されていません。