Iris / Iris · GitLab

46 forks: 40 public, 1 internal, and 5 private

Ike Mulder / Iris

Merge branch 'master' into 'master'

0 0 0 0

Updated Jan 06, 2022
Glen Mével / Iris

Merge branch 'janno/defuse-iAssumption' into 'master'

0 0 0 0

Updated Nov 26, 2021
Adam / Iris

fix coq-lint for macOS restricted regex support

0 0 0 0

Updated Nov 25, 2021
Vincent / Iris

The Coq development for Iris. [project website] [coqdoc]

0 0

Updated Nov 10, 2021
Armaël Guéneau / Iris

add changelog for iris_invG rename

0 0 0 0

Updated Sep 05, 2021
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 07, 2022
Simon Hudon / Iris

Merge branch 'ralf/wp_frame_wand' into 'master'

0 0 0 0

Updated May 11, 2021
Lennard Gäher / Iris

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

0 0 0 0

Updated Jul 27, 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 Mar 03, 2021
Enrico Tassi / Iris

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

0 0 0 0

Updated Feb 11, 2021
Arthur Azevedo de Amorim / Iris

Generalize the type of gmap_equivI.

0 0 0 0

Updated Sep 02, 2020
Alix Trieu / Iris

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

0 0 0 0

Updated Jul 13, 2020
Simon Friis Vindum / Iris

Merge branch 'fix-tests-macos' into 'master'

0 0 0 0

Updated Jun 06, 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 May 06, 2022