Skip to content

use more primitive projections in cmra.v

Ralf Jung requested to merge ralf/cmra-primproj into master

This enables primitive projections globally in the cmra.v file (similar to what we already do for ofe.v). But then it has to be selectively disabled again for some records since otherwise things break...

Merge request reports