Commit cbd12b84 authored Aug 28, 2018 by Andreas Klöckner

Merge branch 'cse-flop-count' into 'master'

Fix interaction between CSEs and flop counts, add CSEAwareFlopCounter

See merge request !20