Activity · Simon Spies / Iris · GitLab

Snippets Groups Projects

2 years ago

Ralf Jung @jung

deleted branch adequacy_comments at Simon Spies / Iris

2 years ago

Simon Spies @simonspies

pushed to branch adequacy_comments at Simon Spies / Iris

d716e0c1 · rename adequacy lemmas about wptp and make them local

2 years ago

Simon Spies @simonspies

pushed to branch adequacy_comments at Simon Spies / Iris

90a883b2 · more comments

2 years ago

Simon Spies @simonspies

pushed to branch adequacy_comments at Simon Spies / Iris

8316e46d · Merge branch 'master' into adequacy_comments
... and 18 more commits. Compare ad60d54f...8316e46d

2 years ago

Simon Spies @simonspies

pushed to branch master at Simon Spies / Iris

a34184ae · remove some spurious spaces
... and 17 more commits. Compare e52255ba...a34184ae

2 years ago

Simon Spies @simonspies

pushed to branch adequacy_comments at Simon Spies / Iris

ad60d54f · adopt suggestions

2 years ago

Simon Spies @simonspies

pushed to branch adequacy_comments at Simon Spies / Iris

d8985c81 · tweak comment as there is no second instance currently

2 years ago

Simon Spies @simonspies

pushed to branch adequacy_comments at Simon Spies / Iris

8e80274e · Merge branch 'master' into adequacy_comments
... and 83 more commits. Compare 3a1b78c9...8e80274e

2 years ago

Simon Spies @simonspies

pushed to branch master at Simon Spies / Iris

e52255ba · bump CI to Coq 8.16.1
... and 2327 more commits. Compare 6e79f000...e52255ba

2 years ago

Simon Spies @simonspies

pushed new branch adequacy_comments at Simon Spies / Iris

2 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

408e172d · naming in changelog
... and 37 more commits. Compare 456796ab...408e172d

2 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

456796ab · naming in changelog

2 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

8d505165 · use _gen

2 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

03e310b1 · add instances

2 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

6484be63 · rename

2 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

3e1b5b2c · Apply 1 suggestion(s) to 1 file(s)

2 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

87ebb1e7 · update changelog

2 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

b67cee55 · naming

3 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

d2f2f7b0 · also make adequacy names consistent

3 years ago

Lennard Gäher @lgaeher

pushed to branch iris-later-credits at Simon Spies / Iris

73effbef · naming