Iris / Iris · GitLab

23 forks: 22 public and 1 private

George Pirlea / Iris

explain weird anonymous type field in CmraT

0 0 0 0

Updated Jul 31, 2019
Simon Spies / Iris

Merge branch 'ralf/eq' into 'master'

0 0 0 0

Updated Aug 20, 2019
Rice Wine / Iris

Update example in ProofMode.md

0 0 0 0

Updated Apr 23, 2019
Rodolphe Lepigre / Iris

Bump stdpp.

0 0 0 0

Updated Aug 13, 2019
Hai Dang / Iris

be more explicit about quantification order

0 0 0 0

Updated Jun 20, 2019
Pierre-Marie Pédrot / Iris

Merge branch 'bigop_overwrite' into 'master'

0 0 0 0

Updated Feb 05, 2019
Ralf Jung / iris-coq

test

0 0 0 0

Updated Jan 24, 2019
Maxime Dénès / iris-coq

Merge branch 'unicode_asterisk_in_docs' into 'master'

0 0 0 0

Updated Feb 01, 2019
Michael Sammler / iris-coq

Merge branch 'sigT_equivI-admissible' into 'master'

0 0 0 0

Updated Jun 25, 2019
Hugo Herbelin / iris-coq

Merge branch 'robbert/ufrac_just_ufrac' into 'master'

0 0 0 0

Updated May 31, 2019
Tej Chajed / iris-coq

Fix CMRA category in the docs.

0 0 0 0

Updated May 08, 2019
Marianna Rapoport / iris-coq

backport heap_lang notation fix from gen_proofmode

0 0 0 0

Updated Jan 02, 2019
Janno / iris-coq

emphasize picking the right job name

0 0 0 0

Updated Mar 20, 2019
Jan / iris-coq

NEW: Now with strange typing error.

0 0 0 0

Updated Jan 02, 2019
Glen Mével / iris-coq

fix `head_stuck`

0 0 0 0

Updated Jan 02, 2019
Jonas Kastberg / iris-coq

update Makefile

0 0 0 0

Updated Mar 25, 2019
Paolo G. Giarrusso / iris-coq

Merge branch 'fix-direction-op-lemmas' into 'master'

0 0 0 0

Updated Aug 13, 2019
Joshua Yanovski / iris-coq

Update lock.v

0 0 0 0

Updated Jan 02, 2019
Johannes Kloos / iris-coq

Adapt to changed definition of imap

0 0 0 0

Updated Jan 02, 2019
Dan Frumin / iris-coq

Move some stuff.

0 0 0 0

Updated Aug 22, 2019
1 private fork you have no access to.