Boole: add test coverage for typed seq_of_* literal lowering - #1299

Draft

MikaelMayer wants to merge 40 commits into

main2from

issue-1297-boole-seq-of-literals-use-untyped-seqemp

Commits on May 29, 2026

Add test coverage for all seq_of_* typed seqEmptyOp lowering (#1297)
MikaelMayer
committed
a7f559c
Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
189bae5
Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
fc328a1
ci: retrigger CI (cache miss on previous run)
MikaelMayer
committed
1e6b28c
Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
d21559c
ci: retrigger CI (cache miss on previous run)
MikaelMayer
committed
253f641
Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
31015c0
Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
714b7fa

Commits on Jun 1, 2026

Commits on Jun 2, 2026

Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
bc21378

Commits on Jun 3, 2026

Commits on Jun 4, 2026

Commits on Jun 5, 2026

Commits on Jun 6, 2026

Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
d864550

Commits on Jun 8, 2026

Commits on Jun 9, 2026

Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
60ce557

Commits on Jun 10, 2026

Commits on Jun 11, 2026

Commits on Jun 12, 2026

Merge remote-tracking branch 'origin/main2' into issue-1297-boole-seq-of-literals-use-untyped-seqemp
MikaelMayer
committed
904b276