Search results

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

fixpoint-rs failing tests

Status: Open.

#1328 In flux-rs/flux;

· nilehmann opened on Oct 14, 2025

Detached specs are broken in rust-verify-std

Status: Open.

#1324 In flux-rs/flux;

· nilehmann opened on Oct 10, 2025

Print summary of Flux

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#1321 In flux-rs/flux;

· ranjitjhala opened on Oct 9, 2025

Extern Specs and Lifetimes

Status: Open.

#1306 In flux-rs/flux;

· ranjitjhala opened on Oct 3, 2025

Generic vec indexing

Status: Open.

#1270 In flux-rs/flux;

· ranjitjhala opened on Sep 9, 2025

if/else expressions are not handled as expected

Status: Open.

#1262 In flux-rs/flux;

· kupiakos opened on Sep 5, 2025

Report errors for holes in unsupported positions

good first issueGood for newcomersGood for newcomers

Status: Open.

#1231 In flux-rs/flux;

· nilehmann opened on Aug 12, 2025

ICE in <code>infer.rs</code> due to <code>FnPtr</code> subtyping

Status: Open.

#1185 In flux-rs/flux;

· ranjitjhala opened on Jul 15, 2025

Weaken type for repeated arrays

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1177 In flux-rs/flux;

· ranjitjhala opened on Jul 11, 2025