Add tests for equiv notation (!143) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:test-equiv into master 5 years ago

All threads resolved!

Extracted from iris!409 (merged).

Approval is optional

Activity

Paolo G. Giarrusso mentioned in merge request iris!409 (merged) 5 years ago

mentioned in merge request iris!409 (merged)
Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Robbert Krebbers
Last reply by Robbert Krebbers 5 years ago

Robbert Krebbers resolved all threads 5 years ago

resolved all threads

Robbert Krebbers added 1 commit 5 years ago

added 1 commit

f88fe7a6 - Apply suggestion to tests/notation.v

Compare with previous version

Robbert Krebbers merged 5 years ago

merged

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit d2cc2c07

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

Thanks!

Please register or sign in to reply