Search results

Weird formatting of struct with <code>where</code> clause

Status: Open.

#153 In verus-lang/verusfmt;

· gewitternacht opened on Aug 5, 2025

Failed to parse <code>|=</code> and <code>&amp;=</code> for arrays

Status: Open.

#152 In verus-lang/verusfmt;

· TheodoreEhrenborg opened on Jul 24, 2025

Failed to parse !~=

bugSomething isn't workingSomething isn't working

Status: Open.

#145 In verus-lang/verusfmt;

· bbayazit16 opened on Jun 17, 2025

Newline removed with --verus-only

bugSomething isn't workingSomething isn't working

Status: Open.

#144 In verus-lang/verusfmt;

· rsofaer opened on Jun 9, 2025

Parsing support for generic associated types

bugSomething isn't workingSomething isn't working

good first issueGood for newcomersGood for newcomers

Status: Open.

#141 In verus-lang/verusfmt;

· zhengyao-lin opened on May 26, 2025

format <code>broadcast use</code> to something not parseable

bugSomething isn't workingSomething isn't working

Status: Open.

#130 In verus-lang/verusfmt;

· txiang61 opened on Mar 30, 2025

Feature request for verus_spec attribute :&gt;

enhancementNew feature or requestNew feature or request

Status: Open.

#121 In verus-lang/verusfmt;

· ziqiaozhou opened on Mar 13, 2025

Exponential time in formatting nested brackets?

performancePerformance is suboptimal or improvablePerformance is suboptimal or improvable

Status: Open.

#106 In verus-lang/verusfmt;

· y1ca1 opened on Nov 4, 2024

'broadcast use' not handled correctly

enhancementNew feature or requestNew feature or request

Status: Open.

#86 In verus-lang/verusfmt;

· tjhance opened on Aug 15, 2024

When using matches, or ('||') is parsed as closure ('| |').

bugSomething isn't workingSomething isn't working

good first issueGood for newcomersGood for newcomers

Status: Open.

#83 In verus-lang/verusfmt;

· JoPolzin opened on Jul 23, 2024

Allow marking a file as skipped

enhancementNew feature or requestNew feature or request

Status: Open.

#59 In verus-lang/verusfmt;

· jaybosamiya opened on Apr 23, 2024

Better handle CRLF normalization

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#50 In verus-lang/verusfmt;

· jaybosamiya opened on Mar 29, 2024