hyperlight-dev / hyperlight-dev/hyperlight
Verify soundness of `ResourceEntry`
Đang mở
area/API
lifecycle/confirmed
- Ngôn ngữ chính
- Rust
- Star
- 4.7k
- Fork
- 208
- Merge trung bình
- 1 ngày 7 giờ
- Pull request đã merge (30 ngày)
- 47
Mô tả
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.
Hướng dẫn đóng góp
Đánh giá
Issue này chưa được đánh giá.