Sign in Sign up
cargo

verus_prettyplease

A minimal `syn` syntax tree pretty-printer adapted for Verus

cargo View on Cargo

Activity

Latest release
1w ago
Total releases
19
Cadence
~11 days
Last 12 months
18

Reach

Downloads
228.8k

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-09-0044 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-12-0118 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