Skip to content
Snippets Groups Projects
Lennard Gäher's avatar
deleted branch ci/lennard/bump-iris at Iris / simuliris
Lennard Gäher's avatar
accepted merge request !20 "Bump Iris" at Iris / simuliris
Lennard Gäher's avatar
pushed to branch master at Iris / simuliris
Lennard Gäher's avatar
opened merge request !20 "Bump Iris" at Iris / simuliris
Lennard Gäher's avatar
deleted branch lennard/bump-iris at Iris / simuliris
Lennard Gäher's avatar
pushed new branch ci/lennard/bump-iris at Iris / simuliris
Lennard Gäher's avatar
pushed new branch lennard/bump-iris at Iris / simuliris
Johannes Hostert's avatar
pushed to branch master at Iris / simuliris
Johannes Hostert's avatar
pushed to branch master at Iris / simuliris
Ralf Jung's avatar
pushed to branch master at Iris / simuliris
Ralf Jung's avatar
pushed to branch master at Iris / simuliris
Johannes Hostert's avatar
closed issue #17 "Adapt to stdpp!566" at Iris / simuliris
Johannes Hostert's avatar
commented on issue #17 "Adapt to stdpp!566" at Iris / simuliris

This has been done now. The tactic, however, remains.

Johannes Hostert's avatar
pushed to branch master at Iris / simuliris
  • 040f2d9c · add explanation of coq to paper correspondence
Ralf Jung's avatar
pushed to branch master at Iris / simuliris
Ralf Jung's avatar
deleted branch ci/tree-borrows at Iris / simuliris
Ralf Jung's avatar
pushed to branch master at Iris / simuliris
Ralf Jung's avatar
accepted merge request !18 "Tree Borrows update" at Iris / simuliris
Johannes Hostert's avatar
pushed to branch ci/tree-borrows at Iris / simuliris
Johannes Hostert's avatar
commented on merge request !18 "Tree Borrows update" at Iris / simuliris

I added a comment.