Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!1000
Simplify NA-inv protocol.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jacques-Henri Jourdan
requested to merge
jh/simplify_na_inv
into
master
Oct 06, 2023
Overview
17
Commits
1
Pipelines
1
Changes
1
Expand
Slightly simpler protocol for non-atomic invariants.
Merge request reports