Search results

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

len() implementation without overflow errors

enhancementNew feature or requestNew feature or request

Status: Open.

#1516 In viperproject/prusti-dev;

· fpoli opened on May 28, 2024

External specification declared on a trait implementation did not resolve to a concrete type

Status: Open.

#1515 In viperproject/prusti-dev;

· nishanthkarthik opened on May 27, 2024

Enum: unsupported statement kind Intrinsic(Assume(move _))

Status: Open.

#1513 In viperproject/prusti-dev;

· nishanthkarthik opened on Apr 16, 2024

Enum discriminant completeness

Status: Open.

#1512 In viperproject/prusti-dev;

· nishanthkarthik opened on Apr 10, 2024