Commits · 79a919ab438c2c2a3dcdb790ba63eb9704d841b5 · Iris / stdpp

Jul 19, 2024
- docs: quick typo fixes · 79a919ab
  Sanjit Bhat authored 8 months ago and Ralf Jung committed 8 months ago
  
  79a919ab
- Merge branch 'master' into 'master' · 95e76f9d
  Ralf Jung authored 8 months ago
  
  docs(gmap): add galina escaping Closes #211 See merge request !557
  95e76f9d
- docs(gmap): add galina escaping · 054ac622
  Sanjit Bhat authored 8 months ago
  
  Verified
  
  054ac622
Jul 15, 2024
- Merge branch 'misc-lemma' into 'master' · 9e2c5234
  Robbert Krebbers authored 8 months ago
  
  Misc lemma for sets and `gset_to_gmap` See merge request !553
  9e2c5234
- Add CHANGELOG. · 90d752bc
  Robbert Krebbers authored 10 months ago
  
  90d752bc
- Tweaks. · ad8766e9
  Robbert Krebbers authored 10 months ago
  
  ad8766e9
- Add lemma union_difference_intersection{_L} · 3a2927da
  Léo Stefanesco authored 10 months ago
  
  3a2927da
- Add lemma `gset_to_gmap_singleton` · 5309c37b
  Léo Stefanesco authored 10 months ago
  
  5309c37b
Jun 19, 2024
- add a 'keep in sync' comment to _CoqProject as well · 375341e7
  Ralf Jung authored 9 months ago
  
  375341e7
Jun 17, 2024
- docs: fix typo · 2bcaf3c5
  Ralf Jung authored 9 months ago
  
  2bcaf3c5
- run Dune only post-merge · 75c6d18a
  Ralf Jung authored 9 months ago
  
  75c6d18a
- Merge branch 'rodolphe/dune' into 'master' · 26ca5cff
  Rodolphe Lepigre authored 9 months ago
  
  Fix convention in gitlab config. See merge request iris/stdpp!556
  26ca5cff
- Fix convention in gitlab config. · abf21ce7
  Rodolphe Lepigre authored 9 months ago
  
  abf21ce7
Jun 14, 2024
- changelog wording · a016f59a
  Ralf Jung authored 9 months ago
  
  a016f59a
- Merge branch 'rodolphe/dune' into 'master' · b5660e36
  Rodolphe Lepigre authored 9 months ago
  
  Allow compiling the packages with dune. See merge request iris/stdpp!552
  b5660e36
- Allow compiling the packages with dune. · 1e9cd3d6
  Rodolphe Lepigre authored 10 months ago
  
  1e9cd3d6
Jun 04, 2024

Merge branch 'coq_19059' into 'master' · d6ba38c3

Ralf Jung authored 10 months ago

Prepare for https://github.com/coq/coq/pull/19059

See merge request iris/stdpp!554

d6ba38c3

May 28, 2024

Merge branch 'robbert/map_disjoint_difference' into 'master' · 3c8baa66

Robbert Krebbers authored 10 months ago

Strengthen `map_disjoint_difference_{l,r}` and make them consistent with the lemmas for sets.

See merge request !551

3c8baa66

May 24, 2024
- Prepare for https://github.com/coq/coq/pull/19059 · f5854915
  Pierre Roux authored 10 months ago
  
  f5854915
May 02, 2024
- CHANGELOG. · 15ee9357
  Robbert Krebbers authored 11 months ago
  
  15ee9357
- Strengthen `map_disjoint_difference_{l,r}` and make them consistent with the lemmas for sets. · d86b4b09
  Robbert Krebbers authored 11 months ago
  
  d86b4b09
Apr 19, 2024
- Merge branch 'require-vector' into 'master' · e40779e3
  Ralf Jung authored 11 months ago
  
  Explicitly Require Coq Vector in vector.v (for coq/coq#18936) See merge request iris/stdpp!550
  e40779e3
- Apply 1 suggestion(s) to 1 file(s) · 1bdbb4dd
  Ralf Jung authored 11 months ago and Andres Erbsen committed 11 months ago
  
  1bdbb4dd
Apr 17, 2024
- Explicitly Require Coq Vector in vector.v (for coq/coq#18936) · 47fa2683
  Andres Erbsen authored 11 months ago
  
  47fa2683
Apr 16, 2024
- sync test output check with Iris · c317cd31
  Ralf Jung authored 11 months ago
  
  c317cd31
Apr 12, 2024
- Merge branch 'master' into 'master' · bc24e51c
  Robbert Krebbers authored 11 months ago
  
  Generalization of map_fold_comm_acc See merge request !545
  bc24e51c
- README. · b985d378
  Robbert Krebbers authored 11 months ago
  
  b985d378
- Generalize all `comm_acc` lemmas. · e7f4b4b4
  Robbert Krebbers authored 11 months ago
  
  e7f4b4b4
- Generalization of map_fold_comm_acc · 8ab8747f
  Yannick Zakowski authored 1 year ago
  
  8ab8747f
- Merge branch 'master' of https://gitlab.mpi-sws.org/iris/stdpp · af901d0b
  Ralf Jung authored 11 months ago
  
  af901d0b
- set release date · 60a677d9
  Ralf Jung authored 11 months ago
  
  60a677d9
- Merge branch 'ralf/readme-blocked' into 'master' · 46928b9d
  Robbert Krebbers authored 11 months ago
  
  readme: mention more operations we block See merge request !544
  46928b9d
- Merge branch 'ralf/release' into 'master' · eb2afa52
  Ralf Jung authored 11 months ago
  
  prepare changelog for release See merge request !548
  View commits for tag coq-stdpp-1.10.0 coq-stdpp-1.10.0
  
  eb2afa52
- prepare changelog for release · ff1a8cf1
  Ralf Jung authored 11 months ago
  
  ff1a8cf1
Apr 11, 2024
- Merge branch 'ralf/bitvector' into 'master' · 614f8ccc
  Ralf Jung authored 11 months ago
  
  create new package for stdpp-bitvector library See merge request !542
  614f8ccc
- add maintain comment · 188c1b34
  Michael Sammler authored 11 months ago
  
  188c1b34
- update file structure · ab90b0bc
  Michael Sammler authored 11 months ago
  
  ab90b0bc
- add change log entry for bitvector package and remove stdpp_unstable/.keep · 6da05b7a
  Michael Sammler authored 11 months ago
  
  6da05b7a
- bitvector.bitvector_tactics -> bitvector.tactics · 6c1e9be8
  Michael Sammler authored 1 year ago
  
  6c1e9be8
- pass over new stdpp-bitvector package · b815c10b
  Michael Sammler authored 1 year ago
  
  b815c10b