Turns out when compiling to loss functions, we don't want the @noinline annotations to work. Rather than specialising the annotations to Marabou, far easier to just make them configurable within the compiler itself. It's not like the user is ever going to be writing them on their own functions.
Turns out when compiling to loss functions, we don't want the
@noinlineannotations to work. Rather than specialising the annotations to Marabou, far easier to just make them configurable within the compiler itself. It's not like the user is ever going to be writing them on their own functions.