verus-lang/verusfmt

Issues

• 'broadcast use' not handled correctly

  #86 opened 2 months ago by tjhance
  4

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

  #83 opened 3 months ago by JoPolzin
  1

• Unsupported parsing object 'const_arg' when I used seq macro to repeat some codes inside verus macro.

  #76 opened 4 months ago by ziqiaozhou
  2

• verus accepts empty requires clause, verusfmt doesn't

  #74 opened 4 months ago by JoPolzin
  1

• odd newline & indentation choices

  #68 opened 5 months ago by tjhance
  1

• Allow marking a file as skipped

  #59 opened 6 months ago by jaybosamiya
  0

• Better handle CRLF normalization

  #50 opened 7 months ago by jaybosamiya
  0

• Unnecessary newline in same-file `mod`ules

  #49 opened 7 months ago by jaybosamiya
  0

• Formatting of multi-line `seq!` macro

  #42 opened 7 months ago by mmcloughlin
  1

• Preservation of stanzas

  #43 opened 7 months ago by mmcloughlin
  1

• Non-idempotent `verus!` inside `macro_rules!`

  #36 opened 8 months ago by jaybosamiya
  0

• Non-idempotency of macro items in presence of in-file `mod`ules

  #33 opened 8 months ago by jaybosamiya
  0

• Add support for locally opting out of verusfmt

  #30 opened 8 months ago by parno
  0

• Handling inline comments outside the main verus-body

  #18 opened 10 months ago by parno
  0

• Incorrect operator precedence for `&&&` and `forall`

  #25 opened 8 months ago by jaybosamiya
  2

• Non-idempotency for comment being moved to same line

  #22 opened 9 months ago by jaybosamiya
  1

• Report filename when formatting multiple files

  #20 opened 10 months ago by parno
  0

• Mis-parsing requires clauses as generic arguments

  #19 opened 10 months ago by parno
  1

• Consider adding an extra output mode, that prints erased code

  #17 opened a year ago by jaybosamiya
  0

• Parser fails on lifetimes in the parameter list and return type

  #15 opened a year ago by parno
  2

• Wildcard type annotations on `let`-bindings are removed

  #10 opened a year ago by pratapsingh1729
  0

• `verusfmt` doesn't handle borrows of identifiers that start with the characters `mut`

  #6 opened a year ago by pratapsingh1729
  2

• Bug in inline comment handling after an attribute

  #3 opened a year ago by pratapsingh1729
  1

• Bug with macro calls

  #5 opened a year ago by pratapsingh1729
  2

• `impl TRAIT for TYPE`

  #1 opened a year ago by pratapsingh1729
  0