Skip to content

Draft: Use killVars info for dropping variables from states

Florian Sextl requested to merge florian.sextl/broom:use-kill-vars into master

A prototype implementation of how to use the new killVar info to correctly simplify the states after executing an instruction.

Merge request reports