Search results

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

Prusti server stopped working

Status: Open.

#1527 In viperproject/prusti-dev;

· cdstanford opened on Aug 12, 2024

linux-aarch64: "cargo-prusti: cannot execute binary file: Exec format error"

Status: Open.

#1526 In viperproject/prusti-dev;

· ValarMorghulisMaiDou opened on Aug 12, 2024

Feature Request: Add Configuration Flag to Lower Verify Errors to Warnings

Status: Open.

#1524 In viperproject/prusti-dev;

· seanrion opened on Aug 7, 2024

Internal error: Location bb6[1] has not yet been encoded

Status: Open.

#1521 In viperproject/prusti-dev;

· nishanthkarthik opened on Jun 20, 2024

cannot generate fold-unfold Viper statements

Status: Open.

#1520 In viperproject/prusti-dev;

· nishanthkarthik opened on Jun 19, 2024

unsupported feature: determining the region of a dereferentiation is not supported

Status: Open.

#1519 In viperproject/prusti-dev;

· nishanthkarthik opened on Jun 19, 2024

Assert(false) passing with Shared References

Status: Open.

#1518 In viperproject/prusti-dev;

· cliu369 opened on Jun 15, 2024

Error: cannot generate fold-unfold Viper statements

Status: Open.

#1517 In viperproject/prusti-dev;

· nishanthkarthik opened on Jun 14, 2024