Activity · Simcha van Collem / Iris · GitLab

Snippets Groups Projects

2 years ago

Simcha van Collem @svancollem

deleted branch bi-closure-timeless at Simcha van Collem / Iris

2 years ago

Simcha van Collem @svancollem

pushed to branch bi-closure-timeless at Simcha van Collem / Iris

586c7625 · Apply Robbert's suggestions

2 years ago

Simcha van Collem @svancollem

pushed to branch bi-closure-timeless at Simcha van Collem / Iris

2f6a2f2c · Add changelog entry
... and 2 more commits. Compare 0466d310...2f6a2f2c

2 years ago

Simcha van Collem @svancollem

pushed to branch bi-closure-timeless at Simcha van Collem / Iris

0466d310 · Add changelog entry
... and 2 more commits. Compare 2bcdfc85...0466d310

2 years ago

Simcha van Collem @svancollem

pushed to branch bi-closure-timeless at Simcha van Collem / Iris

2bcdfc85 · Add changelog entry
... and 2 more commits. Compare 216d6192...2bcdfc85

2 years ago

Simcha van Collem @svancollem

pushed to branch bi-closure-timeless at Simcha van Collem / Iris

216d6192 · Add changelog entry

2 years ago

Simcha van Collem @svancollem

pushed new branch bi-closure-timeless at Simcha van Collem / Iris

2 years ago

Robbert Krebbers @robbertkrebbers

pushed to branch transitive-closure at Simcha van Collem / Iris

39c034f2 · Apply 4 suggestion(s) to 1 file(s)

2 years ago

Simcha van Collem @svancollem

pushed to branch transitive-closure at Simcha van Collem / Iris

62573506 · Add fixme about least_fixpoint_persistent lemmas

2 years ago

Simcha van Collem @svancollem

pushed to branch transitive-closure at Simcha van Collem / Iris

2413607e · Make some definitions local
... and 2 more commits. Compare 80731928...2413607e

2 years ago

Simcha van Collem @svancollem

pushed to branch transitive-closure at Simcha van Collem / Iris

80731928 · Explictly name variables, such that CI won't fail when we iRevert them

2 years ago

Simcha van Collem @svancollem

pushed to branch transitive-closure at Simcha van Collem / Iris

942d311a · Add Affine, Absorbing, Persistent instances for bi_rtc and bi_tc
... and 1 more commit. Compare f273db9e...942d311a

2 years ago

Simcha van Collem @svancollem

pushed to branch transitive-closure at Simcha van Collem / Iris

f273db9e · Add persistency lemmas/instances for bi_tc, bi_rtc
... and 4 more commits. Compare d9ead357...f273db9e

2 years ago

Simcha van Collem @svancollem

pushed to branch transitive-closure at Simcha van Collem / Iris

d9ead357 · Add transitive closure for bi
... and 3 more commits. Compare 0e2ea309...d9ead357

2 years ago

Simcha van Collem @svancollem

pushed new branch transitive-closure at Simcha van Collem / Iris

2 years ago

Simcha van Collem @svancollem

created project Simcha van Collem / Iris