Search results

fix: allow <code>requires</code>, <code>ensures</code> etc to be empty, as in <code>verus_syn</code>

Status: Open.

#71 In verus-lang/verus-analyzer;

· mkovaxx opened on Jan 23, 2026

<code>text_range</code> error for empty <code>requires</code>

Status: Open.

#70 In verus-lang/verus-analyzer;

· Marsman1996 opened on Jan 22, 2026

Incompatibility between Ubuntu 24.04/22.04

Status: Open.

#69 In verus-lang/verus-analyzer;

· bsdinis opened on Dec 20, 2025

SCIP Symbol Format Comparison: rust-analyzer vs verus-analyzer

Status: Open.

#68 In verus-lang/verus-analyzer;

· astefano opened on Dec 8, 2025

<code>go to definition</code> fail for methods in <code>ensures</code> and <code>requires</code>

Status: Open.

#62 In verus-lang/verus-analyzer;

· Marsman1996 opened on May 10, 2025

Loop and crash on partial <code>broadcast use</code>

Status: Open.

#61 In verus-lang/verus-analyzer;

· dschoepe opened on Apr 28, 2025

Is <code>go to definition</code> supported? If so, how to do it?

Status: Open.

#18 In verus-lang/verus-analyzer;

· HaoYang670 opened on Jul 24, 2023