Code

feature: PHI Node creation binding#3

Code

Open

cpehle wants to merge 3 commits intotydeu:mastertydeu/lean4-papyrus:masterfrom cpehle:feature-phi-instructioncpehle/lean4-papyrus:feature-phi-instructionCopy head branch name to clipboard

+212-1

Commits

Commits on Sep 18, 2021

• feature: PHI Instruction creation

  cpehle

  committed
  5e0265a

  Copy full SHA for 5e0265a

• feat: add phi node builder

  cpehle

  committed
  8832bc8

  Copy full SHA for 8832bc8

• feature: phi node script

  cpehle

  committed
  b977e05

  Copy full SHA for b977e05