Activity · Iris / RefinedC · GitLab

Snippets Groups Projects

2 weeks ago

Michael Sammler @msammler

pushed to branch master at Iris / RefinedC

6a2fc7b5 · update Iris

1 month ago

Michael Sammler @msammler

pushed to branch master at Iris / RefinedC

df99b27e · update Iris

2 months ago

Michael Sammler @msammler

pushed new branch time/hint_constants_opaque_rewrite at Iris / RefinedC

3 months ago

Michael Sammler @msammler

pushed to branch master at Iris / RefinedC

fecd1e6d · try relaxing cerberus constraint

4 months ago

Michael Sammler @msammler

pushed to branch master at Iris / RefinedC

ffa3b5dd · update to Coq 8.20

4 months ago

Michael Sammler @msammler

pushed to branch time/coq-8.20 at Iris / RefinedC

ffa3b5dd · update to Coq 8.20

4 months ago

Michael Sammler @msammler

pushed new branch time/coq-8.20 at Iris / RefinedC

7 months ago

Michael Sammler @msammler

pushed to branch master at Iris / RefinedC

7945a29d · update Iris

7 months ago

Michael Sammler @msammler

pushed to branch master at Iris / RefinedC

2d6158dd · update Iris

8 months ago

Michael Sammler @msammler

pushed to branch master at Iris / RefinedC

ea6be6de · don't use false in assume.h

9 months ago

Lennard Gäher @lgaeher

pushed to branch time/lennard-timing-test at Iris / RefinedC

b0feda5b · another test

9 months ago

Lennard Gäher @lgaeher

pushed new branch time/lennard-timing-test at Iris / RefinedC

9 months ago

Laila Elbeheiry @lelbehei

pushed to branch laila/tree_traversals at Iris / RefinedC

0b3bc047 · change in automation rules

9 months ago

Laila Elbeheiry @lelbehei

pushed to branch laila/tree_traversals at Iris / RefinedC

1cd9638f · add n-ary trees and do minor fixes

10 months ago

Laila Elbeheiry @lelbehei

pushed to branch laila/tree_traversals at Iris / RefinedC

2681f38f · use context annotations for type parameters
... and 143 more commits. Compare 0139d3a0...2681f38f

10 months ago

Laila Elbeheiry @lelbehei

pushed to branch laila/tree_traversals at Iris / RefinedC

0139d3a0 · add notes
... and 3 more commits. Compare f6d53261...0139d3a0

10 months ago

Lennard Gäher @lgaeher

pushed to branch lennard/context_annot at Iris / RefinedC

f1ca2fa4 · properly instantiate for recursive calls

10 months ago

Lennard Gäher @lgaeher

pushed to branch lennard/context_annot at Iris / RefinedC

cda543f1 · add instantiate annotation

10 months ago

Lennard Gäher @lgaeher

pushed new branch lennard/context_annot at Iris / RefinedC

10 months ago

Laila Elbeheiry @lelbehei

pushed to branch laila/tree_traversals at Iris / RefinedC

f6d53261 · Add more lvars to avoid explicit initialization lemmas
... and 3 more commits. Compare 1daa48d6...f6d53261