3 commits

Author	SHA1	Message	Date
Henrik Böving	32fb1ccf1c	refactor: port IR elim_dead_vars to LCNF (#12356) ... This PR moves the IR elim_dead_vars pass to LCNF. It cannot delete the pass yet as it is still used in later IR passes.	2026-02-06 17:01:59 +00:00
Gabriel Ebner	a8cab84735	refactor: use computed fields for Expr	2022-07-11 14:19:41 -07:00
Leonardo de Moura	ba606debf7	fix: Expr.update* issue ... See #1291	2022-07-10 08:33:14 -07:00