Issues

• Encode spec items as methods

  AureaNoire/prusti-dev#217 · Filter by author AureaNoire opened on Aug 31, 2026

• Unused generics in trait impl axioms

  AureaNoire/prusti-dev#153 · Filter by author Trzyq0712 opened on Mar 16, 2026

• Unnecessary cast in axioms with pure trait methods

  AureaNoire/prusti-dev#152 · Filter by author Trzyq0712 opened on Mar 16, 2026
  1

• Compiler built-in trait implementations

  AureaNoire/prusti-dev#151 · Filter by author Trzyq0712 opened on Mar 15, 2026

• Support for const projections in refine_specs

  AureaNoire/prusti-dev#147 · Filter by author Trzyq0712 opened on Mar 12, 2026

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

  AureaNoire/prusti-dev#75 · Filter by author paaassscccaaalll opened on Jun 20, 2025

• Order of PRs and features

  AureaNoire/prusti-dev#43 · Filter by author AureaNoire opened on Mar 15, 2024