Skip to content

fix: evaluation of interleaving constraints at MIR #1297

New issue
New issue
Open
Open
fix: evaluation of interleaving constraints at MIR#1297
Labels
bugSomething isn't workingfield agnosticityrelated to becoming field agnostic
@DavePearce

Description

@DavePearce
DavePearce
opened on Oct 31, 2025

Currently, the evaluation of interleaving constraints whose columns are split into VectorAccess expressions is incorrect as the underlying field can overflow. This only affects the MIR level.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingfield agnosticityrelated to becoming field agnostic

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions