Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Iris / Iris
33 forks: 31 public, 0 internal, and 2 private
sort:
Last created
Last created
Oldest created
Last updated
Oldest updated
Yusuke Matsushita /
Iris
Merge branch 'master' of
https://gitlab.mpi-sws.org/iris/iris
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 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
Mar 03, 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
Jan 28, 2021
Rice Wine /
Iris
Update example in ProofMode.md
0
0
0
0
Updated
Sep 07, 2020
Rodolphe Lepigre /
Iris
update dependencies
0
0
0
0
Updated
Jan 22, 2021
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
Prev
1
2
Next