Iris / Iris · GitLab

38 forks: 36 public, 0 internal, and 2 private

Matthieu Sozeau / Iris

move common style checks to separate file

0 0 0 0

Updated Jun 03, 2021
Ralf Jung / Iris

add Iris 3.4 release date

0 0 0 0

Updated May 21, 2021
Simon Hudon / Iris

Merge branch 'ralf/wp_frame_wand' into 'master'

0 0 0 0

Updated May 19, 2021
Lennard Gäher / Iris

Merge branch 'ralf/coq-8.11' into 'master'

0 0 0 0

Updated Apr 19, 2021
Andrej Dudenhefner / Iris

Merge branch 'ralf/coq-8.11' into 'master'

0 0 0 0

Updated Apr 08, 2021
Yusuke Matsushita / Iris

update std++

0 0 0 0

Updated May 11, 2021
Enrico Tassi / Iris

Merge branch 'ralf/frac-op-valid' into 'master'

0 0 0 0

Updated Feb 12, 2021
Glen Mével / Iris

Revert "Merge branch 'fix-idestruct-specialize' into 'master'"

0 0 0 0

Updated Dec 03, 2020
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-tests-macos' into 'master'

0 0 0 0

Updated Jun 14, 2021
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 Jun 06, 2021
Rice Wine / Iris

Update example in ProofMode.md

0 0 0 0

Updated Sep 07, 2020