Skip to content
GitLab
Explore
Sign in
72 forks: 59 public, 3 internal, and 10 private
Created date
View Iris project
ffengyu /
Iris
remove debug info
0
Updated
Mar 25, 2025
0
0
0
0
Updated
Mar 25, 2025
View Iris project
clef-men /
Iris
Merge branch 'tex_require_mathpartir' into 'master'
0
Updated
Nov 24, 2024
0
0
0
0
Updated
Nov 24, 2024
View Iris project
Quentin VERMANDE /
Iris
Merge branch 'tex_require_mathpartir' into 'master'
0
Updated
Nov 19, 2024
0
0
0
0
Updated
Nov 19, 2024
View Iris project
Daniel Nezamabadi /
Iris
this will be the 4.4 refrence
0
Updated
Nov 13, 2024
0
0
0
0
Updated
Nov 13, 2024
View Iris project
Dongjae Lee /
Iris
release version 4.3
0
Updated
Nov 22, 2024
0
0
0
0
Updated
Nov 22, 2024
View Iris project
Thomas Lamiaux /
Iris
Remove use of `map_Forall_insert_1`.
0
Updated
Sep 03, 2024
0
0
0
0
Updated
Sep 03, 2024
View Iris project
Janggun Lee /
Iris
Merge branch 'typo-heap-lang-lit-unboxed-comment' into 'master'
0
Updated
Apr 17, 2025
0
0
0
0
Updated
Apr 17, 2025
View Iris project
Yiyun Liu /
Iris
Merge branch 'typos' into 'master'
0
Updated
Feb 06, 2025
0
0
0
0
Updated
Feb 06, 2025
View Iris project
tjhance /
Iris
Merge branch 'robbert/issue_571' into 'master'
0
Updated
Sep 03, 2024
0
0
0
0
Updated
Sep 03, 2024
View Iris project
Benjamin Peters /
Iris
Merge branch 'ralf/stuckness-bool' into 'master'
1
Updated
Apr 10, 2025
1
0
0
0
Updated
Apr 10, 2025
View Iris project
Pierre Roux /
Iris
Merge branch 'ralf/old-coq' into 'master'
0
Updated
Sep 16, 2024
0
0
0
0
Updated
Sep 16, 2024
View Iris project
Gaëtan Gilbert /
Iris
also exclude Coq 8.20 from testing
0
Updated
Nov 20, 2023
0
0
0
0
Updated
Nov 20, 2023
View Iris project
Thomas Somers /
Iris
Merge branch 'ralf/fixpoint-laws' into 'master'
0
Updated
Mar 12, 2025
0
0
0
0
Updated
Mar 12, 2025
View Iris project
Pierre Rousselin /
Iris
update dependencies
0
Updated
Nov 17, 2023
0
0
0
0
Updated
Nov 17, 2023
View Iris project
Isaac van Bakel /
Iris
add iCombine FIXME
0
Updated
Nov 15, 2024
0
0
0
0
Updated
Nov 15, 2024
View Iris project
Yixuan Chen /
Iris
update dependencies
0
Updated
May 21, 2024
0
0
0
0
Updated
May 21, 2024
View Iris project
William Mansky /
Iris
This seems to work, thanks!
0
Updated
Apr 12, 2024
0
0
0
0
Updated
Apr 12, 2024
View Iris project
Pierre Roux /
Iris
require locality attribute for Hint Rewrite
0
Updated
Nov 03, 2023
0
0
0
0
Updated
Nov 03, 2023
View Iris project
Simcha van Collem /
Iris
Merge branch 'robbert/iSpecialize_forall' into 'master'
0
Updated
Feb 08, 2023
0
0
0
0
Updated
Feb 08, 2023
View Iris Parametric Index project
Simon Spies /
Iris Parametric Index
Merge branch 'tex_require_mathpartir' into 'master'
0
Updated
Mar 28, 2025
0
0
0
5
Updated
Mar 28, 2025
Prev
1
2
3
Next
