Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!402
Prove stepping (i.e., non-value) version of `atomic_wp_seq`.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robbert Krebbers
requested to merge
robbert/atomic_wp_seq_step
into
master
Mar 25, 2020
Overview
5
Commits
1
Pipelines
0
Changes
1
Expand
This allows proving a Texan triple from an atomic triple.
Merge request reports