Activity · Paolo G. Giarrusso / iris · GitLab

Snippets Groups Projects

2 months ago

Paolo G. Giarrusso @Blaisorblade

pushed new tag iris-4.3.0 at Paolo G. Giarrusso / iris

2 months ago

Paolo G. Giarrusso @Blaisorblade

pushed new tag iris-4.2.0 at Paolo G. Giarrusso / iris

2 months ago

Paolo G. Giarrusso @Blaisorblade

pushed new tag iris-4.1.0 at Paolo G. Giarrusso / iris

2 months ago

Paolo G. Giarrusso @Blaisorblade

pushed to branch master at Paolo G. Giarrusso / iris

3c1e0431 · Merge branch 'robbert/ufrac_auth_update_surplus_cancel' into 'master'
... and 11 more commits. Compare d18120d1...3c1e0431

3 months ago

Paolo G. Giarrusso @Blaisorblade

deleted branch Blaisorblade-master-patch-96682 at Paolo G. Giarrusso / iris

4 months ago

Paolo G. Giarrusso @Blaisorblade

pushed to branch Blaisorblade-master-patch-96682 at Paolo G. Giarrusso / iris

bd641645 · bupd_alt.v: fix thinko in docs
... and 343 more commits. Compare 8c2def3f...bd641645

4 months ago

Paolo G. Giarrusso @Blaisorblade

pushed to branch master at Paolo G. Giarrusso / iris

d18120d1 · this will be the 4.4 refrence
... and 342 more commits. Compare e1aace82...d18120d1

4 months ago

Paolo G. Giarrusso @Blaisorblade

pushed new branch Blaisorblade-master-patch-96682 at Paolo G. Giarrusso / iris

5 months ago

Paolo G. Giarrusso @Blaisorblade

pushed to branch master at Paolo G. Giarrusso / iris

e1aace82 · Merge branch 'robbert/naming_as' into 'master'
... and 176 more commits. Compare 7e865892...e1aace82

1 year ago

Paolo G. Giarrusso @Blaisorblade

deleted branch monotone-tweaks at Paolo G. Giarrusso / iris

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

d3f6c7e2 · Comments.
... and 22 more commits. Compare be9f7379...d3f6c7e2

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

be9f7379 · Improve comments, drop bogus counterexample.

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

ce6ab9d3 · Counterexample for generalizing `mra A` to `A : ofe`.
... and 15 more commits. Compare dc793fc2...ce6ab9d3

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

dc793fc2 · Make `R` argument of `principal` implicit, it can be infered from t...
... and 1 more commit. Compare 0d16f5a1...dc793fc2

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

0d16f5a1 · Make `R` argument of `principal` implicit, it can be infered from t...

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

5bc923f1 ·

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

5d4507f9 · Rename `monotone` into `mra`; move out of unstable.
... and 33 more commits. Compare ce34fef3...5d4507f9

1 year ago

Paolo G. Giarrusso @Blaisorblade

pushed to branch master at Paolo G. Giarrusso / iris

7e865892 · Merge branch 'jaemin/mono_nat_alloc' into 'master'
... and 56 more commits. Compare 2c474cb7...7e865892

1 year ago

Paolo G. Giarrusso @Blaisorblade

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

ce34fef3 · Make [mra_over_rel] an opt-in module
... and 2 more commits. Compare 2112f9e1...ce34fef3

1 year ago

Paolo G. Giarrusso @Blaisorblade

pushed to branch monotone-tweaks at Paolo G. Giarrusso / iris

2112f9e1 · Make [mra_over_rel] an opt-in module
... and 4 more commits. Compare b672438e...2112f9e1