Search results

Support multiple generic parameters in axioms

Status: Open.

#11 In cuplv/ravencheck;

· klinvill opened on Dec 17, 2025

Support type parameters for type aliases

Status: Open.

#10 In cuplv/ravencheck;

· klinvill opened on Dec 17, 2025

Support tuples in match arms

Status: Open.

#7 In cuplv/ravencheck;

· klinvill opened on Nov 30, 2025

Error messages should ideally report what source lines correspond to the error messages

Status: Open.

#6 In cuplv/ravencheck;

· klinvill opened on Nov 20, 2025

Infer generic type parameters

Status: Open.

#4 In cuplv/ravencheck;

· klinvill opened on Nov 18, 2025

Allow for underscores in match arms

Status: Open.

#3 In cuplv/ravencheck;

· klinvill opened on Nov 18, 2025

Support a hierarchical namespace

Status: Open.

#2 In cuplv/ravencheck;

· klinvill opened on Nov 17, 2025

Add module-level #[phantom] attribute to simplify verification-only specifications

Status: Open.

#1 In cuplv/ravencheck;

· klinvill opened on Nov 17, 2025