Skip to content

ConstraintAnalysis: Use spans to prove things - #9025

Merged
kripken merged 34 commits into
WebAssembly:mainfrom
kripken:i65_span.use
Aug 21, 2026
Merged

ConstraintAnalysis: Use spans to prove things#9025
kripken merged 34 commits into
WebAssembly:mainfrom
kripken:i65_span.use

Commits

Commits on Aug 18, 2026

  • go

    kripkenkripken
    committed
    c66b1bd

  • go

    kripkenkripken
    committed
    b74ca8e

  • work

    kripkenkripken
    committed
    01d20c4

  • work

    kripkenkripken
    committed
    71a0a25

  • work

    kripkenkripken
    committed
    553a481

  • work

    kripkenkripken
    committed
    df402c9

  • changes so far

    kripkenkripken
    committed
    19fc708

  • format

    kripkenkripken
    committed
    b645fab

Commits on Aug 19, 2026

  • rename

    kripkenkripken
    committed
    b3184ed

  • format

    kripkenkripken
    committed
    c317fb8

  • builds

    kripkenkripken
    committed
    8763274

  • work

    kripkenkripken
    committed
    0e49329

  • work

    kripkenkripken
    committed
    4bfa032

  • work

    kripkenkripken
    committed
    af0bc97

  • work

    kripkenkripken
    committed
    32cc04b

  • work

    kripkenkripken
    committed
    3b59e5d

  • testt

    kripkenkripken
    committed
    69a97de

  • work

    kripkenkripken
    committed
    424c1ab

  • changes

    kripkenkripken
    committed
    c05fba8

  • work

    kripkenkripken
    committed
    b5ea854

  • work

    kripkenkripken
    committed
    7048dd2

  • work

    kripkenkripken
    committed
    9e42b9d

  • work

    kripkenkripken
    committed
    d80eae5

  • work

    kripkenkripken
    committed
    2960da7

  • feedback

    kripkenkripken
    committed
    2188b37

  • format

    kripkenkripken
    committed
    073fbaf

Commits on Aug 20, 2026