Merge Requests · Iris / Iris · GitLab

base_logic/lib/gset_bij: fix gset_bij_own_elem_agree; add gset_bij_own_elem_auth_agree

!663 · created Apr 08, 2021 by Lennard Gäher
- 7
updated Apr 19, 2021
Add embeddings for siProp into uPred and monPred

!662 · created Apr 05, 2021 by Hai Dang
- 22
updated Apr 18, 2021
Append-only list RA

!661 · created Apr 05, 2021 by Hai Dang
- 36
updated Apr 19, 2021
WIP: don't tie bi.weakestpre to program_logic.language (full TC approach)

!656 · created Mar 17, 2021 by Ralf Jung
- 1
updated Mar 17, 2021
WIP: don't tie bi.weakestpre to program_logic.language (small canonical structure approach)

!655 · created Mar 17, 2021 by Ralf Jung
- 0
updated Mar 17, 2021
Draft: More (peri)scopes for Iris

!651 · created Mar 16, 2021 by Paolo G. Giarrusso
- 11
updated Apr 19, 2021
Enable `Typeclasses Strict Resolution` for dervied_connectives.v 0 of 1 task completed

!642 · created Feb 19, 2021 by Janno
- 5
updated Feb 28, 2021
register make_laterable as modality

!636 · created Feb 12, 2021 by Ralf Jung S-waiting-for-author
- 4
updated Mar 06, 2021
FromPure instances for big_sepM

!626 · created Jan 27, 2021 by Ralf Jung
- 5
updated Feb 01, 2021
WIP: Changing the definition of contractiveness to be compatible with Transfinite Iris

!616 · created Jan 11, 2021 by Simon Spies
- 40
updated Jan 28, 2021
Alternative take at "better support for view shift with mismatching masks"

!615 · created Jan 05, 2021 by Robbert Krebbers S-waiting-for-author
- 5
updated Feb 13, 2021
Use class `IntoFUpd` in tactic `wp_value_head`

!613 · created Jan 05, 2021 by Robbert Krebbers S-waiting-for-author
- 11
updated Feb 17, 2021
Add monotone resource algebra

!597 · created Dec 02, 2020 by Amin Timany S-waiting-for-author
- 15
updated Mar 04, 2021
better support for view shift with mismatching masks

!527 · created Oct 02, 2020 by Ralf Jung S-waiting-for-review
- 11
updated Feb 17, 2021
Define logic `clProp` for axiom-free classical logic + remove `pure_forall_2` from BI interface

!496 · created Sep 05, 2020 by Robbert Krebbers
- 43
updated Mar 18, 2021