Skip to content
GitLab
Explore
Sign in
Armaël Guéneau
Iris
Repository
Branches
Overview
Active
Stale
All
angelic
21faa711
·
wip
·
Mar 02, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iris-3.4.0+patches
2cc0d098
·
add tests for edge cases in iDestruct's name reuse
·
Sep 20, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iris-3.4.0+optimize_iIntoEmpValid
21401270
·
HACK coq-iris.opam
·
Sep 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
24fec1e1
·
add changelog for iris_invG rename
·
Sep 01, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/wand-format
0ef47533
·
make binary wand/view shift connectives 'block' formated
·
Jul 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/persistently-forall
28d10863
·
formatting
·
Jul 28, 2021
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/stdpp_mr281
b0601273
·
Bump stdpp.
·
Jun 15, 2021
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
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ralf/bi-language
91aede9b
·
fixme
·
Mar 17, 2021
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iris-3.4
f181d238
·
update Iris doc version
·
Mar 08, 2021
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
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/into_fupd
d70b62f6
·
Use new class `IntoFUpd` in tactic `wp_value_head`.
·
Jan 07, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/frame_fractional
ed0d0453
·
Remove framing for fractional.
·
Jan 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/fupd_elim
97f90263
·
Make use of better `iMod` for updates.
·
Jan 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/coq_bug_7773
25de5018
·
Remove old FIXMEs.
·
Jan 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/mapsto_persist
bd032741
·
CHANGELOG.
·
Dec 18, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
Next