Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Repository
Branches
Overview
Active
Stale
All
master
default
protected
fd103ad0
·
update dependencies
·
Jun 27, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/excl_auth_consistency_tweaks
d07610c8
·
CHANGELOG entry.
·
Jun 08, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/bi-persistently-emp
384b9d0d
·
move bi_persistently_emp out of BI interface, and get a basic proof mode working again
·
May 17, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/proofmode-emp
3734ace0
·
tac_specialize_assert_pure: do not assume that pure things are persistent
·
May 16, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/primproj_unfold
53ee592e
·
Apply 1 suggestion(s) to 1 file(s)
·
May 13, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/bi_cofe
merged
00d2fb63
·
Ensure that different `Cofe` proofs of `iProp` are convertible.
·
Apr 07, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/bi_wand_notation
1859ff61
·
Add ∗-∗ as notation in stdpp_scope similar to -∗.
·
Dec 05, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/level
9418cdd3
·
Use priority levels for `iFrame`. There's no syntax yet, so the fixes to the...
·
Oct 12, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/f_equiv
4f836b8e
·
adjust for f_equiv optimizations
·
Sep 27, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/f_equiv_ho
d72f8214
·
fix for f_equiv improvements
·
Sep 27, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/sprop
2f143753
·
bump std++
·
Sep 07, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/hai/siProp
f25bdcf3
·
Initial experiment with internal_eq for bi with siProp embedding
·
Jul 12, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/stdpp_mr281
b0601273
·
Bump stdpp.
·
Jun 15, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ralf/Z_of_nat
1ed41018
·
make Z.of_nat not a Coercion any more
·
May 19, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hai/si_embed
fb9e7003
·
Make uPred_si_embed instances lemmas and move them
·
Apr 18, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ralf/bi-language
91aede9b
·
fixme
·
Mar 17, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/coq-bug-13942
2bc880b2
·
move error into regular .v file
·
Mar 15, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iris-3.4
protected
f181d238
·
update Iris doc version
·
Mar 08, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/janno/strict-tc-resolution
ecd4e746
·
Enable `Typeclasses Strict Resolution` for dervied_connectives.v
·
Feb 19, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/vs-mask-adjust
6099c1a8
·
better support for view shift with mismatching masks
·
Feb 13, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
Next