Skip to content
GitLab
Explore
Sign in
Iris
Iris
Forks
60 forks: 51 public, 1 internal, and 8 private
Created date
Matthieu Sozeau /
Iris
move common style checks to separate file
0
Updated
Jan 14, 2022
0
0
0
0
Updated
Jan 14, 2022
Vincent /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Jun 08, 2022
0
Updated
Jun 08, 2022
Glen Mével /
Iris
Merge branch 'janno/defuse-iAssumption' into 'master'
0
Updated
Feb 02, 2022
0
0
0
0
Updated
Feb 02, 2022
Simon Spies /
Iris
remove some spurious spaces
0
Updated
Feb 01, 2023
0
0
0
0
Updated
Feb 01, 2023
Simcha van Collem /
Iris
Merge branch 'robbert/iSpecialize_forall' into 'master'
0
Updated
Feb 08, 2023
0
0
0
0
Updated
Feb 08, 2023
Adam /
Iris
fix coq-lint for macOS restricted regex support
0
Updated
Feb 13, 2023
0
0
0
0
Updated
Feb 13, 2023
Armaël Guéneau /
Iris
add changelog for iris_invG rename
0
Updated
Mar 02, 2023
0
0
0
0
Updated
Mar 02, 2023
Yusuke Matsushita /
Iris
Merge branch 'heaplang-pointer-comparison' into 'master'
0
Updated
Mar 19, 2023
0
0
0
0
Updated
Mar 19, 2023
Gregory Malecha /
Iris
Merge branch 'seal_big_opM' into 'master'
0
Updated
Apr 04, 2023
0
0
0
0
Updated
Apr 04, 2023
Lennard Gäher /
Iris
Merge branch 'ralf/coq-8.11' into 'master'
0
Updated
Apr 29, 2023
0
0
0
0
Updated
Apr 29, 2023
Arthur Azevedo de Amorim /
Iris
ghost_var: fix comment
0
Updated
May 24, 2023
0
0
0
0
Updated
May 24, 2023
Dan Frumin /
iris-coq
Move some stuff.
0
Updated
Jul 24, 2023
0
0
0
0
Updated
Jul 24, 2023
Paolo G. Giarrusso /
iris
Merge branch 'jaemin/mono_nat_alloc' into 'master'
0
Updated
Aug 03, 2023
0
0
0
Updated
Aug 03, 2023
Simon Friis Vindum /
Iris
Merge branch 'ralf/fixpoint-confusion' into 'master'
0
Updated
Aug 28, 2023
0
0
0
0
Updated
Aug 28, 2023
Amin Timany /
iris-coq
Merge branch 'ralf/paradox' into 'master'
0
Updated
Sep 09, 2023
0
0
0
0
Updated
Sep 09, 2023
Pierre Roux /
Iris
require locality attribute for Hint Rewrite
0
Updated
Nov 03, 2023
0
0
0
0
Updated
Nov 03, 2023
Pierre Rousselin /
Iris
update dependencies
0
Updated
Nov 17, 2023
0
0
0
0
Updated
Nov 17, 2023
Gaëtan Gilbert /
Iris
also exclude Coq 8.20 from testing
0
Updated
Nov 20, 2023
0
0
0
0
Updated
Nov 20, 2023
Yixuan Chen /
Iris
fix typo
0
Updated
Dec 12, 2023
0
0
0
0
Updated
Dec 12, 2023
Jonas Kastberg /
iris
remove some long-dead files
0
Updated
Jan 18, 2024
0
0
0
0
Updated
Jan 18, 2024
Prev
1
2
3
Next