more supported and unsupported features

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

Closed y1ca1 closed 4 days ago

y1ca1 commented 1 week ago

Doc more trait features and associated constants

utaal commented 6 days ago

Can you please review and apply the suggested changes? thanks!

y1ca1 commented 4 days ago

Can you please review and apply the suggested changes? thanks!

Applied changes. Thanks!