Currently, there exists multiple ways to interface with the lifter. We should choose one standard interface to the lifter.
Concretely, this would mean looking at bir_lifter_simple_interfaceLib.sml and bir_lifter_interfaceLib.sml and merging their functionality.
Currently, there exists multiple ways to interface with the lifter. We should choose one standard interface to the lifter.
Concretely, this would mean looking at
bir_lifter_simple_interfaceLib.smlandbir_lifter_interfaceLib.smland merging their functionality.