Skip to content

Rich CK resolutions update

Christopher Rob Jones requested to merge RichCKResolutions-AdaptToREC485 into master

Adapts to the reference changes due to Rec!485 (merged).

Also, propagate the histogram property from Brunel to the RICHFUTURE checker.

Merge request reports