Activity · Simon Friis Vindum / Iris · GitLab

Snippets Groups Projects

1 year ago

Simon Friis Vindum @simonfv

deleted branch bupd_plain at Simon Friis Vindum / Iris

1 year ago

Simon Friis Vindum @simonfv

pushed to branch bupd_plain at Simon Friis Vindum / Iris

dc0d370e · Minor tweaks to bupd_plain instance and changelog entry

1 year ago

Simon Friis Vindum @simonfv

pushed new branch bupd_plain at Simon Friis Vindum / Iris

1 year ago

Simon Friis Vindum @simonfv

pushed to branch master at Simon Friis Vindum / Iris

81f394da · Merge branch 'ralf/fixpoint-confusion' into 'master'
... and 171 more commits. Compare 89b39c82...81f394da

1 year ago

Simon Friis Vindum @simonfv

pushed to branch master at Simon Friis Vindum / Iris

89b39c82 · ghost_var: fix comment
... and 297 more commits. Compare 213ebbd2...89b39c82

2 years ago

Simon Friis Vindum @simonfv

deleted branch fractional-embed at Simon Friis Vindum / Iris

2 years ago

Simon Friis Vindum @simonfv

pushed to branch fractional-embed at Simon Friis Vindum / Iris

4df29af7 · Add Fractional and AsFractional instance for embed

2 years ago

Simon Friis Vindum @simonfv

pushed to branch fractional-embed at Simon Friis Vindum / Iris

99e8a351 · Add Fractional and AsFractional instance for embed

2 years ago

Simon Friis Vindum @simonfv

pushed new branch fractional-embed at Simon Friis Vindum / Iris

2 years ago

Simon Friis Vindum @simonfv

deleted branch clear-intuit-sound at Simon Friis Vindum / Iris

2 years ago

Simon Friis Vindum @simonfv

pushed new branch clear-intuit-sound at Simon Friis Vindum / Iris

2 years ago

Simon Friis Vindum @simonfv

pushed to branch master at Simon Friis Vindum / Iris

213ebbd2 · tex: update URL
... and 1022 more commits. Compare 57e2e0d5...213ebbd2