Rebase on rust-anlayzer of 2024-06-25

verus-lang / verus-analyzer

A Verus compiler front-end for IDEs (derived from rust-analyzer)

Apache License 2.0

8 stars 4 forks source link

Closed achreto closed 2 months ago

achreto commented 2 months ago

This PR has a rebase of verus-analyzer to rust-analyzer as of June 25, 2024.