Verusfmt would previously leave any macros unchanged in formatting. Over time, we are adding support for formatting for specific macros (similar to how rustfmt leaves most macros unchanged, but does format things it is aware of, like println!).
The first macro with added support is calc! (https://github.com/verus-lang/verusfmt/pull/61). This causes a small number of updates in vstd, since those bits were previously unformatted.
This does not need a minimum-format bump (since older verusfmt versions will check just fine), but does need to be merged before we can release the new version of verusfmt.
Verusfmt would previously leave any macros unchanged in formatting. Over time, we are adding support for formatting for specific macros (similar to how rustfmt leaves most macros unchanged, but does format things it is aware of, like
println!
).The first macro with added support is
calc!
(https://github.com/verus-lang/verusfmt/pull/61). This causes a small number of updates in vstd, since those bits were previously unformatted.This does not need a minimum-format bump (since older verusfmt versions will check just fine), but does need to be merged before we can release the new version of verusfmt.