Search results

Escaping bound vars / dummy binder?

bugSomething isn't workingSomething isn't working

normalizationIssue related to normalization of associated typesIssue related to normalization of associated types

Status: Open.

#1131 In flux-rs/flux;

· ranjitjhala opened on Jun 19, 2025

Unfold associated refinements with default definitions

Status: Open.

#1114 In flux-rs/flux;

· vrindisbacher opened on Jun 6, 2025

Normalize UIF names in refinements

Status: Open.

#1111 In flux-rs/flux;

· ranjitjhala opened on Jun 5, 2025

Refinements on custom tuples

Status: Open.

#1106 In flux-rs/flux;

· Connor-GH opened on Jun 1, 2025

Condition related to slice length

Status: Open.

#1104 In flux-rs/flux;

· Zn2FePO424H2O opened on May 29, 2025

Condition matching on field Option

Status: Open.

#1103 In flux-rs/flux;

· Zn2FePO424H2O opened on May 29, 2025

Fix predicate matching for clauses with binders

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#1096 In flux-rs/flux;

· ranjitjhala opened on May 13, 2025

Make <code>Fn</code> AST closer to <code>rustc</code>

good first issueGood for newcomersGood for newcomers

Status: Open.

#1094 In flux-rs/flux;

· ranjitjhala opened on May 12, 2025

Can't change length of a slice!

Status: Open.

#1091 In flux-rs/flux;

· ranjitjhala opened on May 2, 2025

Nicer specs for associated refinements

Status: Open.

#1089 In flux-rs/flux;

· ranjitjhala opened on Apr 28, 2025

Mut/Strg and Function Subtyping

Status: Open.

#1085 In flux-rs/flux;

· ranjitjhala opened on Apr 22, 2025

Signatures for Higher-Order Functions

enhancementNew feature or requestNew feature or request

Status: Open.

#1084 In flux-rs/flux;

· ranjitjhala opened on Apr 22, 2025