Search results

Invalid Field Projection on <code>VecDeque&lt;T | *, A&gt;</code>

Status: Open.

#1460 In flux-rs/flux;

· petros-marko opened on Jan 28, 2026

Internal Flux Error: cannot infer substitution for GenericParamDef

Status: Open.

#1449 In flux-rs/flux;

· gpetkov5 opened on Jan 23, 2026

Bug in implementation of <code>Pretty</code> for <code>CanonicalTy</code>

Status: Open.

#1444 In flux-rs/flux;

· nilehmann opened on Jan 20, 2026

Lean constants

Status: Open.

#1432 In flux-rs/flux;

· ranjitjhala opened on Jan 16, 2026

Lean VC Gen

Status: Open.

#1430 In flux-rs/flux;

· ranjitjhala opened on Jan 16, 2026

Refactor names for Refinement Binders

Status: Open.

#1398 In flux-rs/flux;

· ranjitjhala opened on Dec 11, 2025

Strong reference is packed/blocked

mut-ref-unfoldingRelated to unfolding of mutable referencesRelated to unfolding of mutable references

Status: Open.

#1395 In flux-rs/flux;

· ranjitjhala opened on Dec 9, 2025

Create a <code>qualifier!</code> macro

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1389 In flux-rs/flux;

· ranjitjhala opened on Dec 3, 2025

Update to mdbook 0.5

good first issueGood for newcomersGood for newcomers

Status: Open.

#1381 In flux-rs/flux;

· nilehmann opened on Nov 18, 2025

Cannot prove struct instance is equal to instance with equal fields when refined by a Map

Status: Open.

#1355 In flux-rs/flux;

· petros-marko opened on Nov 1, 2025

Deduplicate constraints in fixpoint output

enhancementNew feature or requestNew feature or request

Status: Open.

#1337 In flux-rs/flux;

· cole-k opened on Oct 16, 2025

Canonicalize expressions/remove redundant definitions when emitting to fixpoint

enhancementNew feature or requestNew feature or request

Status: Open.

#1336 In flux-rs/flux;

· cole-k opened on Oct 16, 2025