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

Dead code elimination in JuvixReg #2827

Closed lukaszcz closed 6 days ago

lukaszcz commented 2 weeks ago

Eliminate dead assignments in JuvixReg. Should be performed after copy propagation.