-
Notifications
You must be signed in to change notification settings - Fork 16
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#205 In verus-lang/verusfmt;
Prepare for defaulting to the 2024 edition
enhancementNew feature or requestNew feature or requestStatus: Open.#200 In verus-lang/verusfmt;- Status: Open.#199 In verus-lang/verusfmt;
Improved generalized handling of stanzas
enhancementNew feature or requestNew feature or requestfurther discussion neededMore to be discussedMore to be discussedStatus: Open.#184 In verus-lang/verusfmt;Tracking Known Issues w/ Comments
pr appreciatedIssues where a fixing PR is welcome; may be more difficult than "good first issue" tagIssues where a fixing PR is welcome; may be more difficult than "good first issue" tagStatus: Open.#181 In verus-lang/verusfmt;Weird formatting of some decreases clauses
bugSomething isn't workingSomething isn't workinggood first issueGood for newcomersGood for newcomerspr appreciatedIssues where a fixing PR is welcome; may be more difficult than "good first issue" tagIssues where a fixing PR is welcome; may be more difficult than "good first issue" tagStatus: Open.#179 In verus-lang/verusfmt;Comments have weird effects
pr appreciatedIssues where a fixing PR is welcome; may be more difficult than "good first issue" tagIssues where a fixing PR is welcome; may be more difficult than "good first issue" tagStatus: Open.#159 In verus-lang/verusfmt;Weird formatting of struct with
whereclausebugSomething isn't workingSomething isn't workingStatus: Open.#153 In verus-lang/verusfmt;Failed to parse !~=
bugSomething isn't workingSomething isn't workingStatus: Open.#145 In verus-lang/verusfmt;Newline removed with --verus-only
bugSomething isn't workingSomething isn't workingStatus: Open.#144 In verus-lang/verusfmt;Parsing support for generic associated types
bugSomething isn't workingSomething isn't workinggood first issueGood for newcomersGood for newcomersStatus: Open.#141 In verus-lang/verusfmt;format
broadcast useto something not parseablebugSomething isn't workingSomething isn't workingStatus: Open.#130 In verus-lang/verusfmt;