Several simple lemmas. (!85) · Merge requests · Iris / stdpp

Status	Pipeline	Stages	Actions
Failed Aug 14, 2019	Add new lemmas for list, set, and map operations. #19083 master 6bc8803a	Stage: build	Download artifacts No artifacts found
0
Canceled Aug 14, 2019	Update CHANGELOG.md #19081 master 146e35f0	Stage: build	Download artifacts No artifacts found
Canceled Aug 14, 2019	Add new lemmas for list, set, and map operations. #19080 master f067cd18	Stage: build	Download artifacts No artifacts found
Failed Aug 14, 2019	Merge remote-tracking branch 'origin' #19068 master 44d3e6e4	Stage: build	Download artifacts No artifacts found
0
Failed Aug 14, 2019	Remove 'NoDup' lemma. #19063 master 369f793b	Stage: build	Download artifacts No artifacts found
0
Canceled Aug 14, 2019	Additional changes in list's lemmas. #19061 master 512d7073	Stage: build	Download artifacts No artifacts found
Canceled Aug 14, 2019	Implement suggestions by Robbert Krebbers on list’s lemmas. #19060 master 0c6f8fb1	Stage: build	Download artifacts No artifacts found
Canceled Aug 14, 2019	Implement suggestions by Robbert Krebbers on gmap. #19058 master 88fa9552	Stage: build	Download artifacts No artifacts found
Canceled Aug 14, 2019	Implement suggestions by Robbert Krebbers on fin_maps’ lemmas. #19057 master 750d8f52	Stage: build	Download artifacts No artifacts found
Canceled Jul 22, 2019	Remove Search command. #18556 master 26a75981	Stage: build	Download artifacts No artifacts found
Canceled Jul 22, 2019	Remove Search command. #18555 master 26a75981	Stage: build	Download artifacts No artifacts found

Several simple lemmas.

Merge request reports

Activity