Search results

Closures inside <code>#[pure]</code> functions trigger "impure function" and "unsupported constant type" errors

Status: Open.

#1543 In viperproject/prusti-dev;

· lynae99 opened on Jan 31, 2026

False positive: Outer function attributes are lost inside immediately invoked closures

Status: Open.

#1542 In viperproject/prusti-dev;

· rikki322 opened on Jan 31, 2026

False negative: <code>std::panic::panic_any</code> does not trigger verification error

Status: Open.

#1541 In viperproject/prusti-dev;

· chisa22 opened on Jan 31, 2026

Can't use it w/ virtual workspace w/ resolver 3 or 2024 edition

Status: Open.

#1539 In viperproject/prusti-dev;

· joaoantoniocardoso opened on Aug 18, 2025

"error: the compiler unexpectedly panicked. this is a bug." running Prusti from VS Code

Status: Open.

#1538 In viperproject/prusti-dev;

· R-Peleg opened on Jul 22, 2025

"use of impure function "std::ops::Div::div" in pure code is not allowed" and crash after setting Div for f64 as "extern_spec"

Status: Open.

#1537 In viperproject/prusti-dev;

· EmmanuelMess opened on Jul 18, 2025

Release binaries don't have the executable bit set

Status: Open.

#1535 In viperproject/prusti-dev;

· EmmanuelMess opened on Jul 16, 2025

<code>cargo-prusti build</code> doesn't work

Status: Open.

#1534 In viperproject/prusti-dev;

· EmmanuelMess opened on Jul 16, 2025

A crash bug identified during the verification

Status: Open.

#1532 In viperproject/prusti-dev;

· stoneman258 opened on May 2, 2025

Prusti crash bug related to dereference operations

Status: Open.

#1531 In viperproject/prusti-dev;

· stoneman258 opened on Apr 21, 2025

Explicitly passing --sysroot in prusti-launch should no longer be necessary

Status: Open.

#1529 In viperproject/prusti-dev;

· bjorn3 opened on Mar 12, 2025

Prusti reported an internal error when analyzing a closure example

Status: Open.

#1528 In viperproject/prusti-dev;

· soyo114 opened on Feb 25, 2025