Issues

• Use trusted_crates when available

  verus-lang/verus-mode.el#24 · Filter by author jaybosamiya-ms opened on Sep 22, 2026

• Use cargo verus focus when available

  enhancement
  verus-lang/verus-mode.el#20 · Filter by author jaybosamiya opened on Feb 11, 2026

• Improve perf in cargo-workspaces

  enhancement
  verus-lang/verus-mode.el#19 · Filter by author jaybosamiya-ms opened on Jan 14, 2026

• Consider if we wish to connect to verus-etags

  enhancement
  verus-lang/verus-mode.el#18 · Filter by author jaybosamiya-ms opened on Nov 14, 2025

• Consider the connection to verus-analyzer again

  enhancement
  verus-lang/verus-mode.el#17 · Filter by author jaybosamiya-ms opened on Nov 11, 2025

• Improve indentation behavior

  enhancement
  verus-lang/verus-mode.el#8 · Filter by author jaybosamiya opened on Jun 7, 2023
  2

• Consider having prefixed compilation commands remember their previous command

  enhancementgood first issue
  verus-lang/verus-mode.el#4 · Filter by author jaybosamiya opened on Apr 14, 2023