All issues

Search results

verus_test fails instantly on linux-x86_64 (E0463 can't find std) but passes on darwin-arm64 — bundled sysroot check is weaker than the requirement

Status: Open.

#25 In pulseengine/rules_verus;

· avrabe opened on Sep 7, 2026

Feedback wanted: needs and wishes for rules_verus

Status: Open.

#24 In pulseengine/rules_verus;

· avrabe opened on Sep 2, 2026

Vacuity gates: contradictory/redundant-assumption detection (Dafny-style) + trusted-base counting

Status: Open.

#23 In pulseengine/rules_verus;

· avrabe opened on Jul 28, 2026

README "Formally Verified" badge mislabels the Verus toolchain

Status: Open.

#22 In pulseengine/rules_verus;

· avrabe opened on Jul 11, 2026

Verus toolchain at HEAD (8a2bbf6) has librustc_driver .so mismatch

Status: Open.

#18 In pulseengine/rules_verus;

· avrabe opened on Apr 6, 2026

Add Bazel sandbox support and improve production readiness

enhancementNew feature or request New feature or request

Status: Open.

#5 In pulseengine/rules_verus;

· avrabe opened on Mar 2, 2026

Add Nix flake for reproducible development and build environment

enhancementNew feature or request New feature or request

Status: Open.

#4 In pulseengine/rules_verus;

· avrabe opened on Mar 2, 2026