Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
polymorphic-bi
f3bd8b69
·
Add CHANGELOG entry
·
Jul 23, 2024
master
default
protected
426f2d2e
·
Merge branch 'gset_to_gmap_theory' into 'master'
·
Jul 19, 2024
fix-doc-links
c727bce5
·
Fix broken code links in docs
·
Apr 19, 2024
iris/iris!1047
parametric-algebra
20b6ea7f
·
add a type class for stepindices
·
May 28, 2023
fix-proof-coq-master
b357a22c
·
Fix a proof broken on Coq master
·
Jul 27, 2022
iris/iris!822
dfrac-valid-arg
1f93e2d0
·
Remove unused Qp argument to dfrac_valid_discarded
·
Jul 20, 2022
iris/iris!819
avoid-deprecated-arith
f4b812a5
·
Avoid using Min and Max, deprecated in v8.16
·
Dec 06, 2021
iris/iris!765
adjust-focused-goal
fd8f6c52
·
Normalize focused goal output
·
Oct 13, 2021
iris/iris!743
prefix-automatic-names
5feeee58
·
Apply 1 suggestion(s) to 1 file(s)
·
Dec 23, 2020
qualify-instances
04b56ad0
·
Qualify all instances with Local or Global
·
Dec 19, 2020
exists-intro-pattern
19379e6d
·
Apply 1 suggestion(s) to 1 file(s)
·
Dec 08, 2020
document-ipm-classes
22071351
·
Remove dependency on MakeSep
·
Nov 22, 2020
fix-intuitionistic-spatial
58ff1744
·
Make sure -#H pattern uses intuitionistic trick
·
Nov 10, 2020
strong-frag-validity/view-bij
7cda5c75
·
Use stronger view validity
·
Oct 15, 2020
dfrac-smart-constructor
54a51910
·
Address feedback
·
Oct 07, 2020
rauth
fc984c75
·
Keep only auth functor
·
Sep 23, 2020
cmra-restrict-valid
da976b85
·
Fix some broken proofs
·
Sep 11, 2020
cmra-iso
d04ea6c0
·
Fix some stylistic issues
·
Sep 08, 2020
port-auth_map
8c0a2bb1
·
Restore compatibility due to some upstream changes
·
Aug 12, 2020
efficient-heaplang-tactics
7d69a2ac
·
Fix some style issues
·
Jul 15, 2020
iris/iris!475
Prev
1
2
3
4
5
Next