Skip to content

Simplify NA-inv protocol.

Jacques-Henri Jourdan requested to merge jh/simplify_na_inv into master

Slightly simpler protocol for non-atomic invariants.

Merge request reports