Search results

Name collisions for type encodings

Status: Open.

#155 In Aurel300/prusti-dev;

· Trzyq0712 opened on Mar 19, 2026

Unused generics in trait impl axioms

Status: Open.

#153 In Aurel300/prusti-dev;

· Trzyq0712 opened on Mar 16, 2026

Unnecessary cast in axioms with pure trait methods

Status: Open.

#152 In Aurel300/prusti-dev;

· Trzyq0712 opened on Mar 16, 2026

Compiler built-in trait implementations

Status: Open.

#151 In Aurel300/prusti-dev;

· Trzyq0712 opened on Mar 15, 2026

Support for const projections in refine_specs

Status: Open.

#147 In Aurel300/prusti-dev;

· Trzyq0712 opened on Mar 12, 2026

Java binding type failure when trying to add specifications to PartialOrd::partial_cmp

Status: Open.

#75 In Aurel300/prusti-dev;

· paaassscccaaalll opened on Jun 20, 2025

Order of PRs and features

Status: Open.

#43 In Aurel300/prusti-dev;

· Aurel300 opened on Mar 15, 2024