Skip to content
GitLab
Explore
Sign in
Iris
Iris
Forks
62 forks: 51 public, 2 internal, and 9 private
Created date
Ralf Jung /
Iris
add Iris 3.4 release date
0
Updated
Feb 20, 2024
0
0
0
0
Updated
Feb 20, 2024
Simon Hudon /
Iris
Merge branch 'ralf/wp_frame_wand' into 'master'
0
Updated
May 19, 2021
0
0
0
0
Updated
May 19, 2021
Andrej Dudenhefner /
Iris
Merge branch 'ralf/coq-8.11' into 'master'
0
Updated
Apr 08, 2021
0
0
0
0
Updated
Apr 08, 2021
Yusuke Matsushita /
Iris
Merge branch 'yusuke/big_sepX_flip_mono' into 'master'
0
Updated
Jul 02, 2024
0
0
0
0
Updated
Jul 02, 2024
Enrico Tassi /
Iris
Merge branch 'ralf/frac-op-valid' into 'master'
0
Updated
Feb 12, 2021
0
0
0
0
Updated
Feb 12, 2021
Arthur Azevedo de Amorim /
Iris
ghost_var: fix comment
0
Updated
May 24, 2023
0
0
0
0
Updated
May 24, 2023
Alix Trieu /
Iris
Merge branch 'clarify-which-bsd' into 'master'
0
Updated
Jul 30, 2020
0
0
0
0
Updated
Jul 30, 2020
Simon Friis Vindum /
Iris
Merge branch 'ralf/fixpoint-confusion' into 'master'
0
Updated
Aug 28, 2023
0
0
0
0
Updated
Aug 28, 2023
Abel Nieto /
Iris
update dependencies
0
Updated
Apr 26, 2020
0
0
0
0
Updated
Apr 26, 2020
Jules Jacobs /
Iris
Add VS code to the editor.md docs
0
Updated
Mar 21, 2020
0
0
0
0
Updated
Mar 21, 2020
Abhishek Anand /
Iris
Add space.
0
Updated
Jan 30, 2020
0
0
0
0
Updated
Jan 30, 2020
Germán Delbianco /
Iris
Fix typo spot by
@Blaisorblade
.
0
Updated
Jan 21, 2020
0
0
0
0
Updated
Jan 21, 2020
Gregory Malecha /
Iris
Merge branch 'seal_big_opM' into 'master'
0
Updated
Apr 04, 2023
0
0
0
0
Updated
Apr 04, 2023
Dmitry Khalanskiy /
Iris
More `subst_map` lemmas.
0
Updated
Apr 14, 2020
0
0
0
0
Updated
Apr 14, 2020
George Pirlea /
Iris
explain weird anonymous type field in CmraT
0
Updated
Jul 31, 2019
0
0
0
0
Updated
Jul 31, 2019
Simon Spies /
Iris
remove some spurious spaces
0
Updated
Feb 01, 2023
0
0
0
0
Updated
Feb 01, 2023
Rice Wine /
Iris
Update example in ProofMode.md
0
Updated
Apr 23, 2019
0
0
0
0
Updated
Apr 23, 2019
Rodolphe Lepigre /
Iris
update dependencies
0
Updated
Jan 22, 2021
0
0
0
0
Updated
Jan 22, 2021
Hai Dang /
Iris
be more explicit about quantification order
0
Updated
Jun 20, 2019
0
0
0
0
Updated
Jun 20, 2019
Maxime Dénès /
iris-coq
Merge branch 'unicode_asterisk_in_docs' into 'master'
0
Updated
Dec 13, 2019
0
0
0
0
Updated
Dec 13, 2019
Prev
1
2
3
Next