Open didriklundberg opened 3 years ago
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.
bir_lifter_simple_interfaceLib.sml
bir_lifter_interfaceLib.sml
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
andbir_lifter_interfaceLib.sml
and merging their functionality.