Skip to content

feat(interfaces): getSuccessorForOperands in ControlFlowInterface - #1450

Open
axelcool1234 wants to merge 1 commit into
opencompl:mainfrom
axelcool1234:get-successor-for-operands
Open

feat(interfaces): getSuccessorForOperands in ControlFlowInterface#1450
axelcool1234 wants to merge 1 commit into
opencompl:mainfrom
axelcool1234:get-successor-for-operands

feat(interfaces): getSuccessorForOperands in ControlFlowInterface

676875f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check orphan Lean modules
succeeded Sep 15, 2026 in 5s