Iris / Iris · GitLab

31 forks: 29 public, 0 internal, and 2 private

Arthur Azevedo de Amorim / Iris

Generalize the type of gmap_equivI.

0 0 0 0

Updated Sep 14, 2020
Alix Trieu / Iris

Merge branch 'clarify-which-bsd' into 'master'

0 0 0 0

Updated Jul 30, 2020
Simon Friis Vindum / Iris

Merge branch 'fix-specialize-error-message' into 'master'

0 0 0 0

Updated Sep 09, 2020
Abel Nieto / Iris

update dependencies

0 0 0 0

Updated Sep 07, 2020
Jules Jacobs / Iris

Add VS code to the editor.md docs

0 0 0 0

Updated Sep 07, 2020
Abhishek Anand / Iris

Add space.

0 0 0 0

Updated Sep 07, 2020
Germán Delbianco / Iris

Fix typo spot by @Blaisorblade .

0 0 0 0

Updated Sep 07, 2020
Gregory Malecha / Iris

Merge branch 'seal_big_opM' into 'master'

0 0 0 0

Updated Sep 07, 2020
Dmitry Khalanskiy / Iris

More `subst_map` lemmas.

0 0 0 0

Updated Sep 07, 2020
George Pirlea / Iris

explain weird anonymous type field in CmraT

0 0 0 0

Updated Sep 07, 2020
Simon Spies / Iris

Merge branch 'ralf/eq' into 'master'

0 0 0 0

Updated Sep 07, 2020
Rice Wine / Iris

Update example in ProofMode.md

0 0 0 0

Updated Sep 07, 2020
Rodolphe Lepigre / Iris

test output of iStopProof

0 0 0 0

Updated Sep 07, 2020
Hai Dang / Iris

be more explicit about quantification order

0 0 0 0

Updated Sep 07, 2020
Pierre-Marie Pédrot / Iris

Merge branch 'bigop_overwrite' into 'master'

0 0 0 0

Updated Sep 07, 2020
Maxime Dénès / iris-coq

Merge branch 'unicode_asterisk_in_docs' into 'master'

0 0 0 0

Updated Sep 07, 2020
Michael Sammler / iris-coq

Merge branch 'list_singletonM_{lt,gt}' into 'master'

0 0 0 0

Updated Sep 07, 2020
Hugo Herbelin / iris-coq

Merge branch 'robbert/ufrac_just_ufrac' into 'master'

0 0 0 0

Updated Sep 07, 2020
Tej Chajed / iris

Fix CMRA category in the docs.

0 0 0 0

Updated Sep 17, 2020
Marianna Rapoport / iris-coq

backport heap_lang notation fix from gen_proofmode

0 0 0 0

Updated Sep 07, 2020