This implements the functionality to apply variable substitutions to the patches, using the API designed by @jtpaasch to put the defs in the input JSON.
It works by applying the substitution at the BIR level, later in the pipeline.
Still not implemented:
Actually apply the substitution! DONE! The tests seem to work though.
Make sure the substitution pre-allocates the registers(still needs tests)
This implements the functionality to apply variable substitutions to the patches, using the API designed by @jtpaasch to put the defs in the input JSON.
It works by applying the substitution at the BIR level, later in the pipeline.
Still not implemented:
Actually apply the substitution!DONE! The tests seem to work though.Make sure the substitution pre-allocates the registers(still needs tests)System testsFinally!