Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Iris / Iris
46 forks: 40 public, 1 internal, and 5 private
Created date
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
Prev
1
2
Next