Formal verification for the ECSM affine selector - #925

Formal verification for the ECSM affine selector#925

nicole-graus wants to merge 14 commits into

perf/ecsm-affine-selectoryetanotherco/lambda_vm:perf/ecsm-affine-selectorfrom

verify/ecsm-affine-selectoryetanotherco/lambda_vm:verify/ecsm-affine-selectorCopy head branch name to clipboard