Closed peq closed 2 years ago
LGTM, what's missing?
There are some differences in the generated code. Seems the optimization behaves differently now, which I did not expect. Need to check which version is right or if the differences are just normal nondeterminism problems.
some minor optimizations: