Issues

• Support multiple generic parameters in axioms

  cuplv/ravencheck#11 · Filter by author klinvill opened on Dec 17, 2025

• Support type parameters for type aliases

  cuplv/ravencheck#10 · Filter by author klinvill opened on Dec 17, 2025

• Support tuples in match arms

  cuplv/ravencheck#7 · Filter by author klinvill opened on Nov 30, 2025

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

  cuplv/ravencheck#6 · Filter by author klinvill opened on Nov 20, 2025

• Infer generic type parameters

  cuplv/ravencheck#4 · Filter by author klinvill opened on Nov 18, 2025

• Allow for underscores in match arms

  cuplv/ravencheck#3 · Filter by author klinvill opened on Nov 18, 2025

• Support a hierarchical namespace

  cuplv/ravencheck#2 · Filter by author klinvill opened on Nov 17, 2025

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

  cuplv/ravencheck#1 · Filter by author klinvill opened on Nov 17, 2025