Add missing `iSplit` hint for `∗-∗` (!331) · Merge requests · Iris / Iris · GitLab

Snippets Groups Projects

Merged Paolo G. Giarrusso requested to merge Blaisorblade/iris:hint-isplit-equiv into master 5 years ago

Activity

Robbert Krebbers merged 5 years ago

merged
Robbert Krebbers mentioned in commit c4116388 5 years ago

mentioned in commit c4116388
Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

Thanks!
Ralf Jung @jung · 5 years ago

Owner

@Blaisorblade any chance you could also add a test case for this? :D
Paolo G. Giarrusso mentioned in merge request !333 (merged) 5 years ago

mentioned in merge request !333 (merged)
Ralf Jung mentioned in commit 6aa60678 5 years ago

mentioned in commit 6aa60678
Paolo G. Giarrusso mentioned in commit 0f5eca67 5 years ago

mentioned in commit 0f5eca67

Please register or sign in to reply