Skip to content

Fix LineListNode::pjoin_dyn casting a CellByteNode as dense - #123

Merged
imlvts merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/list-pjoin-cell-node
Sep 22, 2026
Merged

imlvts merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/list-pjoin-cell-node

Fix LineListNode::pjoin_dyn casting a CellByteNode as dense

13e39de
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Sep 22, 2026 in 10s