JuvixReg transformation: initialize variables assigned in other branches#2650

Merged

paulcadman merged 4 commits intomainfrom reg-var-init

Feb 23, 2024

+165-8

Commits on Feb 20, 2024

init branch vars

lukaszcz
authored and
paulcadman
committed
tests

lukaszcz
authored and
paulcadman
committed
use allSame
lukaszcz
committed

Commits on Feb 23, 2024

Merge branch 'main' into reg-var-init
lukaszcz
authored