Sign in Sign up
cargo

verus_syn

Parser for Rust source code extended to support Verus

cargo View on Cargo

Activity

Latest release
1w ago
Total releases
18
Cadence
~14 days
Last 12 months
16

Reach

Downloads
243.6k

Details

License
MIT OR Apache-2.0
First release
Aug 22, 2025
Releases
Version Released
0.0.0-2026-09-06-0133 pre
0.0.0-2026-08-02-0125 pre
0.0.0-2026-07-27-0206 pre
0.0.0-2026-05-31-0205 pre
0.0.0-2026-05-24-0157 pre
0.0.0-2026-05-10-0145 pre
0.0.0-2026-05-06-1803 pre
0.0.0-2026-04-05-0114 pre
0.0.0-2026-03-15-0111 pre
0.0.0-2026-02-24-1505 pre
0.0.0-2026-02-15-0106 pre
0.0.0-2026-01-25-0057 pre
0.0.0-2025-11-16-0050 pre
0.0.0-2025-11-10-1957 pre
0.0.0-2025-11-09-0048 pre
0.0.0-2025-11-05-1950 pre
0.0.0-2025-08-12-1837 pre
2.0.96+verus initial yanked