Code

Constant propagation in JuvixReg#2833

Code

Merged

lukaszcz merged 8 commits intomainanoma/juvix:mainfrom reg-constant-propagationanoma/juvix:reg-constant-propagationCopy head branch name to clipboardJun 21, 2024

+268-28

Commits

Commits on Jun 19, 2024

• constant propagation

  lukaszcz

  committed
  9c45930

  Copy full SHA for 9c45930

• transformation id

  lukaszcz

  committed
  d47fb19

  Copy full SHA for d47fb19

• fold brs

  lukaszcz

  committed
  dd372b2

  Copy full SHA for dd372b2

• add tests

  lukaszcz

  committed
  8ed973f

  Copy full SHA for 8ed973f

• test & bugfix

  lukaszcz

  committed
  faf251a

  Copy full SHA for faf251a

• bugfix

  lukaszcz

  committed
  b53dba5

  Copy full SHA for b53dba5

Commits on Jun 20, 2024

• Merge branch 'main' into reg-constant-propagation

  lukaszcz

  authored
  d33c2eb

  Copy full SHA for d33c2eb

• Merge branch 'main' into reg-constant-propagation

  lukaszcz

  authored
  8519e96

  Copy full SHA for 8519e96