Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
Iris
Iris / Iris
57 forks: 49 public, 1 internal, and 7 private
Created date
Gaëtan Gilbert /
Iris
also exclude Coq 8.20 from testing
0
Updated
Nov 20, 2023
0
0
0
0
Updated
Nov 20, 2023
tlsomers /
Iris
update dependencies
0
Updated
Nov 20, 2023
0
0
0
0
Updated
Nov 20, 2023
Pierre Rousselin /
Iris
update dependencies
0
Updated
Nov 17, 2023
0
0
0
0
Updated
Nov 17, 2023
Isaac van Bakel /
Iris
add iCombine FIXME
0
Updated
Aug 09, 2023
0
0
0
0
Updated
Aug 09, 2023
Yixuan Chen /
Iris
Merge branch 'ci/rodolphe/8.17-ci' into 'master'
0
Updated
Apr 12, 2023
0
0
0
0
Updated
Apr 12, 2023
William Mansky /
Iris
This seems to work, thanks!
0
Updated
May 25, 2023
0
0
0
0
Updated
May 25, 2023
Pierre Roux /
Iris
require locality attribute for Hint Rewrite
0
Updated
Nov 03, 2023
0
0
0
0
Updated
Nov 03, 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
Simon Spies /
Iris Parametric Index
ghost_var: fix comment
0
Updated
May 29, 2023
0
0
0
5
Updated
May 29, 2023
Niklas Mück /
Iris
added to readme
0
Updated
Nov 17, 2022
0
0
0
0
Updated
Nov 17, 2022
Johannes Hostert /
Iris
egrep -> grep -E
0
Updated
Dec 06, 2023
0
0
0
0
Updated
Dec 06, 2023
Ike Mulder /
Iris
Merge branch 'master' into 'master'
0
Updated
Nov 13, 2023
0
0
0
0
Updated
Nov 13, 2023
Glen Mével /
Iris
Merge branch 'janno/defuse-iAssumption' into 'master'
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Adam /
Iris
fix coq-lint for macOS restricted regex support
0
Updated
Feb 13, 2023
0
0
0
0
Updated
Feb 13, 2023
Vincent /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Dec 29, 2022
0
Updated
Dec 29, 2022
Armaël Guéneau /
Iris
add changelog for iris_invG rename
0
Updated
Mar 02, 2023
0
0
0
0
Updated
Mar 02, 2023
Matthieu Sozeau /
Iris
move common style checks to separate file
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Ralf Jung /
Iris
add Iris 3.4 release date
0
Updated
Sep 14, 2023
0
0
0
0
Updated
Sep 14, 2023
Simon Hudon /
Iris
Merge branch 'ralf/wp_frame_wand' into 'master'
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
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
Prev
1
2
3
Next
