Search results

Bad constraint emitted when smt-define-fun is passed

Status: Open.

#1662 In flux-rs/flux;

· petros-marko opened on Jun 15, 2026

error when mutating a composite-sort abstract refinement field via setter

Status: Open.

#1613 In flux-rs/flux;

· enjhnsn2 opened on May 19, 2026

when applying an abstract refinement field of a composite sort

Status: Open.

#1611 In flux-rs/flux;

· enjhnsn2 opened on May 19, 2026

Add Local Flags

Status: Open.

#1608 In flux-rs/flux;

· ranjitjhala opened on May 17, 2026

Tracking: verifying improved RingBuffer

Status: Open.

#1599 In flux-rs/flux;

· enjhnsn2 opened on May 14, 2026

Update playground whenever main is updated?

Status: Open.

#1591 In flux-rs/flux;

· ninehusky opened on May 10, 2026

Add support for wildcard literals?

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1583 In flux-rs/flux;

· ranjitjhala opened on May 2, 2026

Referencing slice/reference inside of an assoc?

Status: Open.

#1572 In flux-rs/flux;

· enjhnsn2 opened on Apr 21, 2026

Hidden precondition on read_exact?

Status: Open.

#1564 In flux-rs/flux;

· enjhnsn2 opened on Apr 19, 2026

unwrap and similar functions should use no_panic_if(...)

Status: Open.

#1551 In flux-rs/flux;

· enjhnsn2 opened on Apr 8, 2026

Unwrap on None in desugaring

Status: Open.

#1550 In flux-rs/flux;

· vrindisbacher opened on Apr 7, 2026

Flux-core support for pointers and allocation primitives

Status: Open.

#1546 In flux-rs/flux;

· enjhnsn2 opened on Apr 7, 2026