Port to Coq #12512. (!465) · Merge requests · Iris / Iris · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge ci/robbert/coq12512 into master 4 years ago

This is an alternative to !464 (closed) avoiding the use of pose.

Activity

Ralf Jung @jung · 4 years ago

Owner

LGTM. :)
Ralf Jung enabled an automatic merge when the pipeline for 4c6a9a18 succeeds 4 years ago

enabled an automatic merge when the pipeline for 4c6a9a18 succeeds
Ralf Jung merged 4 years ago

merged
Ralf Jung mentioned in commit 80be7f21 4 years ago

mentioned in commit 80be7f21
Ralf Jung mentioned in merge request !464 (closed) 4 years ago

mentioned in merge request !464 (closed)

Please register or sign in to reply