Prove soundness of `layout::cast_from`
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
- [ ] Annotate safety invariants on `KnownLayout`
- [ ] https://github.com/AeneasVerif/aeneas/issues/821
- [ ] https://github.com/AeneasVerif/aeneas/issues/912
- [ ] Annotate validity invariants on `DstLayout`
- [ ] https://github.com/AeneasVerif/aeneas/issues/913
- [ ] https://github.com/google/zerocopy/issues/3030
Contributor guide
Assessment
This issue has not been assessed yet.