notypeclasses apply: do not unfold the type (!586) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/notc-apply-no-hnf into master 2 months ago

All threads resolved!

The hope is that this avoids the massive performance regression in iris!1101.

Activity

Ralf Jung added 1 commit 2 months ago
added 1 commit

4b085fd5 - notypeclasses apply: do not unfold the type

Compare with previous version
Ralf Jung added 1 commit 2 months ago
added 1 commit

8dd38309 - notypeclasses apply: do not unfold the type

Compare with previous version
Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 2 months ago

Resolved 2 months ago by Ralf Jung
Last reply by Robbert Krebbers 2 months ago

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 2 months ago

Resolved 2 months ago by Ralf Jung

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 2 months ago

Resolved 2 months ago by Ralf Jung

Robbert Krebbers @robbertkrebbers · 2 months ago

Owner

LGTM modulo tiny nits.

Ralf Jung resolved all threads 2 months ago

resolved all threads

Ralf Jung resolved all threads 2 months ago

resolved all threads

Ralf Jung resolved all threads 2 months ago

resolved all threads

Ralf Jung added 1 commit 2 months ago

added 1 commit

59643c49 - minor nits

Compare with previous version

Ralf Jung enabled an automatic merge when all merge checks for pass 2 months ago

enabled an automatic merge when all merge checks for 59643c49 pass

Ralf Jung mentioned in commit 2 months ago

mentioned in commit cc5fd623

Ralf Jung merged 2 months ago

merged

Please register or sign in to reply