Code review comment for lp:~verifypn-cpn/verifypn/SuccGen-simp

Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

> I run correctness checks and this is all fine. There is no noticeable
> improvement in performance
> though. I wonder whether we should merge it to trunk or not. What are the
> benefits compared to decreased readability?

I am abandoning this branch, the code is less readable and any compiler should optimize this away easily.
I am proposing a different merge with the CMAKE changes.

« Back to merge proposal