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 4 years ago

All threads resolved!

Extracted from iris!409 (merged).

Activity

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

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

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

Robbert Krebbers resolved all threads 4 years ago

resolved all threads

Robbert Krebbers added 1 commit 4 years ago

added 1 commit

f88fe7a6 - Apply suggestion to tests/notation.v

Compare with previous version

Robbert Krebbers merged 4 years ago

merged

Robbert Krebbers mentioned in commit 4 years ago

mentioned in commit d2cc2c07

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

Thanks!

Please register or sign in to reply