Iris / Iris · GitLab

47 forks: 40 public, 1 internal, and 6 private

Niklas Mück / Iris

Revert "Merge branch 'adequacy_initial_credits' into RIL"

0 0 0 0

Updated Sep 13, 2022
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 Jun 08, 2022
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 Sep 21, 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 Aug 22, 2022
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

tex: update URL

0 0 0 0

Updated Sep 02, 2022
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