jrvieira/nove - Change ALXARSBZW27Q3HVNFNFJQCJXR7OIVW5ABTE63HYXADK7UPIPGM5QC

vs

Created by jrvieira on April 11, 2026

ALXARSBZW27Q3HVNFNFJQCJXR7OIVW5ABTE63HYXADK7UPIPGM5QC

Dependencies

[2] RIB2JXPMZHC5XCLGB7Q425PVNJPHMWPJSLMR2GTFLD474WB72ZHAC
[3] 7QP2V7ZBVZ7SKQ3SYV6NYA7V77G3Y7GF5V6EPIXLIYFSMFRWR4VAC

In channels

main

Change contents

Replacement in src/Nove/Logic.hs at line 69 [3.10194]

B:BD[2.5142] → [2.5142:5298]

         | free , [dir] <- push = node v $ shift v 1 dir i
         | free , null push = void
         | not free , d : _ <- dest , free' (memo ! d) = void

[2.5142]

[2.5298]

         | free , [dir] <- push = node v $ shift v 1 dir i  -- move in
         | free , null push = void  -- clear
         | not free , d : _ <- dest , free' (memo ! d) = void  -- move out