issues
search
anoma
/
juvix
A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
442
stars
54
forks
source link
Copy propagation in JuvixReg
#2828
Closed
lukaszcz
closed
1 week ago
lukaszcz
commented
2 weeks ago
Closes #1614
Implements the copy propagation transformation in JuvixReg and adds tests for it.
For this optimization to give any improvement, we need to run dead code elimination afterwards (#2827).