Search results

Consider if we wish to connect to verus-etags

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In verus-lang/verus-mode.el;

· jaybosamiya-ms opened on Nov 14, 2025

Consider the connection to verus-analyzer again

enhancementNew feature or requestNew feature or request

Status: Open.

#17 In verus-lang/verus-mode.el;

· jaybosamiya-ms opened on Nov 11, 2025

Parse secondary spans from Verus

enhancementNew feature or requestNew feature or request

Status: Open.

#10 In verus-lang/verus-mode.el;

· jaybosamiya-ms opened on Jan 7, 2025

Improve indentation behavior

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In verus-lang/verus-mode.el;

· jaybosamiya opened on Jun 7, 2023

Consider having prefixed compilation commands remember their previous command

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#4 In verus-lang/verus-mode.el;

· jaybosamiya opened on Apr 14, 2023