notation for forall (!152) · Merge requests · Iris / stdpp · GitLab

Robbert Krebbers @robbertkrebbers started a thread on the diff 4 years ago

Resolved 4 years ago by Robbert Krebbers

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

Thanks for the MR. I left some comments.

Gregory Malecha added 1 commit 4 years ago

added 1 commit

418937aa - Update theories/base.v

Compare with previous version

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

@gmalecha What's the status of this?

Gregory Malecha added 23 commits 4 years ago

added 23 commits

418937aa...ea934fb9 - 22 commits from branch iris:master
ce0d7b02 - notation for forall

Compare with previous version

Gregory Malecha @gmalecha · 4 years ago

Author Contributor

Sorry, I thought it was merged already.

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 4 years ago

Resolved 4 years ago by Gregory Malecha

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 4 years ago

Resolved 4 years ago by Gregory Malecha

Gregory Malecha added 1 commit 4 years ago

added 1 commit

d6e17147 - Apply suggestion to theories/base.v

Compare with previous version

Gregory Malecha resolved all threads 4 years ago

resolved all threads

Gregory Malecha added 1 commit 4 years ago

added 1 commit

7b7b163f - Apply suggestion to theories/base.v

Compare with previous version

Robbert Krebbers merged 4 years ago

merged

Robbert Krebbers mentioned in commit 4 years ago

mentioned in commit 60ad150d

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

Thanks & merged.

Tej Chajed mentioned in issue #67 (closed) 4 years ago

mentioned in issue #67 (closed)

Please register or sign in to reply