Merge requests · Iris / stdpp

Generalization of map_fold_comm_acc

!545 · created Apr 03, 2024 by Yannick Zakowski
- Merged
- 5
updated Apr 12, 2024
create new package for stdpp-bitvector library

!542 · created Mar 11, 2024 by Ralf Jung
- Merged
- 45
updated Apr 15, 2024
Adapt to https://github.com/coq/coq/pull/18928

!549 · created Apr 16, 2024 by Pierre Roux
- Closed
- 2
updated Apr 16, 2024
Explicitly Require Coq Vector in vector.v (for coq/coq#18936)

!550 · created Apr 17, 2024 by Andres Erbsen
- Merged
- 9
updated Apr 19, 2024
Take advantage of new Coq features in Coq 8.15

!473 · created May 01, 2023 by Robbert Krebbers
- Merged
- 9
updated Apr 20, 2024
Prepare for https://github.com/coq/coq/pull/19059

!554 · created May 24, 2024 by Pierre Roux
- Merged
- 5
updated Jun 04, 2024
Allow compiling the packages with dune.

!552 · created May 18, 2024 by Rodolphe Lepigre
- Merged
- 49
updated Jun 17, 2024
Fix convention in gitlab config.

!556 · created Jun 17, 2024 by Rodolphe Lepigre
- Merged
updated Jun 17, 2024
Misc lemma for sets and `gset_to_gmap`

!553 · created May 23, 2024 by Léo Stefanesco
- Merged
- 6
updated Jul 16, 2024
docs(gmap): add galina escaping

!557 · created Jul 19, 2024 by Sanjit Bhat
- Merged
- 1
updated Jul 19, 2024
docs: quick typo fixes

!558 · created Jul 19, 2024 by Sanjit Bhat
- Merged
- 3
updated Jul 19, 2024
Prevent [finite_countable] from solving unrelated evars 1 of 4 checklist items completed

!424 · created Nov 24, 2022 by Paolo G. Giarrusso
- Closed
- 8
updated Jul 26, 2024
Use gmake for BSD systems

!559 · created Jul 24, 2024 by Yiyun Liu
- Merged
- 8
updated Jul 31, 2024
Strengthen `map_disjoint_difference_{l,r}` and make them consistent with the lemmas for sets.

!551 · created May 02, 2024 by Robbert Krebbers
- Merged
updated Aug 14, 2024
Rename `X_length` into `length_X`.

!560 · created Aug 14, 2024 by Robbert Krebbers
- Merged
- 12
updated Aug 16, 2024
Allow `map_imap` to be used in nested recursive fixpoints.

!561 · created Aug 21, 2024 by Robbert Krebbers
- Merged
- 16
updated Aug 27, 2024
Add lemma `fmap_insert_inv`.

!563 · created Aug 29, 2024 by Robbert Krebbers
- Merged
- 3
updated Aug 30, 2024
Add lower bound lemma for finite sets

!562 · created Aug 29, 2024 by Lennard Gäher
- Merged
- 13
updated Aug 30, 2024
Draft: Add law `map_fold_foldr` to `FinMap` interface.

!565 · created Sep 02, 2024 by Robbert Krebbers
- Closed
- 5
updated Sep 02, 2024
Generalize `map_relation` and `map_included` / Add `map_Forall2`.

!564 · created Aug 30, 2024 by Robbert Krebbers
- Merged
- 18
updated Sep 03, 2024