alternative overlay for coq/coq#12162 (!159) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Olivier Laurent requested to merge olaure01/stdpp:bool-leb2 into master 4 years ago

All threads resolved!

This is an alternative to !153 (closed) which follows the spirit of !156 (closed). It is adapted to the last version of coq/coq#12162 which takes into account the introduction of Bool.lt.

Activity

Olivier Laurent mentioned in merge request !153 (closed) 4 years ago

mentioned in merge request !153 (closed)
Ralf Jung @jung started a thread on an old version of the diff 4 years ago

Resolved 4 years ago by Olivier Laurent
Last reply by Olivier Laurent 4 years ago

Olivier Laurent added 1 commit 4 years ago

added 1 commit

2583846d - add comment

Compare with previous version

Olivier Laurent resolved all threads 4 years ago

resolved all threads

Ralf Jung @jung started a thread on an old version of the diff 4 years ago

Resolved 4 years ago by Ralf Jung

Ralf Jung @jung started a thread on an old version of the diff 4 years ago

Resolved 4 years ago by Ralf Jung

Olivier Laurent added 1 commit 4 years ago

added 1 commit

964ea47b - overlay for coq/coq#12162

Compare with previous version

Ralf Jung @jung · 4 years ago

Owner

This LGTM. Let's see what @robbertkrebbers says.

Ralf Jung resolved all threads 4 years ago

resolved all threads

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

This looks like a good fix. Thanks!

Robbert Krebbers mentioned in commit 4 years ago

mentioned in commit 56a8ce93

Robbert Krebbers merged 4 years ago

merged

Ralf Jung mentioned in merge request !156 (closed) 4 years ago

mentioned in merge request !156 (closed)

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

I forgot to say this, but thanks a lot @olaure01 for baring with us to find a better solution!

Please register or sign in to reply