Code

Copy propagation in JuvixReg#2828

Code

Merged

lukaszcz merged 9 commits intomainanoma/juvix:mainfrom reg-copy-propagationanoma/juvix:reg-copy-propagationCopy head branch name to clipboardJun 18, 2024

+302-17

Commits

Commits on Jun 18, 2024

• copy propagation

  

  lukaszcz

  authored and

  janmasrovira

  committed
  84896b7

  Copy full SHA for 84896b7

• transformation

  

  lukaszcz

  authored and

  janmasrovira

  committed
  6e4ae75

  Copy full SHA for 6e4ae75

• tests & bugfix

  

  lukaszcz

  authored and

  janmasrovira

  committed
  def8fe0

  Copy full SHA for def8fe0

• tests

  

  lukaszcz

  authored and

  janmasrovira

  committed
  6fa9b29

  Copy full SHA for 6fa9b29

• adjust out vars in branches

  

  lukaszcz

  authored and

  janmasrovira

  committed
  27c70a1

  Copy full SHA for 27c70a1

• add copy propagation to the pipeline

  

  lukaszcz

  authored and

  janmasrovira

  committed
  9887059

  Copy full SHA for 9887059

• fix tests

  

  lukaszcz

  authored and

  janmasrovira

  committed
  f9ed39d

  Copy full SHA for f9ed39d

• fix CI

  

  lukaszcz

  authored and

  janmasrovira

  committed
  320e2cd

  Copy full SHA for 320e2cd

• live vars

  

  lukaszcz

  authored and

  janmasrovira

  committed
  69c10ca

  Copy full SHA for 69c10ca