Commits · bsd-fix · Yiyun Liu / stdpp

Jul 30, 2024
- add changelog for BSD build script fix · d80bbc1e
  Ralf Jung authored 10 months ago
  
  d80bbc1e
- Merge branch 'bsd-fix' into 'master' · f2a1f915
  Ralf Jung authored 10 months ago
  f2a1f915
- Apply 1 suggestion(s) to 1 file(s) · c5e98d55
  Ralf Jung authored 10 months ago and Yiyun Liu committed 10 months ago
  c5e98d55
Jul 24, 2024
- Use gmake for BSD systems · 381d052e
  Yiyun Liu authored 10 months ago
  
  381d052e
Jul 19, 2024
- Merge branch 'typos' into 'master' · b4310406
  Ralf Jung authored 10 months ago
  b4310406
- docs: quick typo fixes · 79a919ab
  Sanjit Bhat authored 10 months ago and Ralf Jung committed 10 months ago
  
  79a919ab
- Merge branch 'master' into 'master' · 95e76f9d
  Ralf Jung authored 10 months ago
  95e76f9d
- docs(gmap): add galina escaping · 054ac622
  Sanjit Bhat authored 10 months ago
  
  054ac622
Jul 15, 2024
- Merge branch 'misc-lemma' into 'master' · 9e2c5234
  Robbert Krebbers authored 11 months ago
  9e2c5234
- Add CHANGELOG. · 90d752bc
  Robbert Krebbers authored 1 year ago
  
  90d752bc
- Tweaks. · ad8766e9
  Robbert Krebbers authored 1 year ago
  
  ad8766e9
- Add lemma union_difference_intersection{_L} · 3a2927da
  Léo Stefanesco authored 1 year ago
  
  3a2927da
- Add lemma `gset_to_gmap_singleton` · 5309c37b
  Léo Stefanesco authored 1 year ago
  
  5309c37b
Jun 19, 2024
- add a 'keep in sync' comment to _CoqProject as well · 375341e7
  Ralf Jung authored 11 months ago
  
  375341e7
Jun 17, 2024
- docs: fix typo · 2bcaf3c5
  Ralf Jung authored 11 months ago
  
  2bcaf3c5
- run Dune only post-merge · 75c6d18a
  Ralf Jung authored 1 year ago
  
  75c6d18a
- Merge branch 'rodolphe/dune' into 'master' · 26ca5cff
  Rodolphe Lepigre authored 1 year ago
  26ca5cff
- Fix convention in gitlab config. · abf21ce7
  Rodolphe Lepigre authored 1 year ago
  
  abf21ce7
Jun 14, 2024
- changelog wording · a016f59a
  Ralf Jung authored 1 year ago
  
  a016f59a
- Merge branch 'rodolphe/dune' into 'master' · b5660e36
  Rodolphe Lepigre authored 1 year ago
  b5660e36
- Allow compiling the packages with dune. · 1e9cd3d6
  Rodolphe Lepigre authored 1 year ago
  
  1e9cd3d6
Jun 04, 2024
- Merge branch 'coq_19059' into 'master' · d6ba38c3
  Ralf Jung authored 1 year ago
  d6ba38c3
May 28, 2024
- Merge branch 'robbert/map_disjoint_difference' into 'master' · 3c8baa66
  Robbert Krebbers authored 1 year ago
  3c8baa66
May 24, 2024
- Prepare for https://github.com/coq/coq/pull/19059 · f5854915
  Pierre Roux authored 1 year ago
  
  f5854915
May 02, 2024
- CHANGELOG. · 15ee9357
  Robbert Krebbers authored 1 year ago
  
  15ee9357
- Strengthen `map_disjoint_difference_{l,r}` and make them consistent with the lemmas for sets. · d86b4b09
  Robbert Krebbers authored 1 year ago
  
  d86b4b09
Apr 19, 2024
- Merge branch 'require-vector' into 'master' · e40779e3
  Ralf Jung authored 1 year ago
  e40779e3
- Apply 1 suggestion(s) to 1 file(s) · 1bdbb4dd
  Ralf Jung authored 1 year ago and Andres Erbsen committed 1 year ago
  
  1bdbb4dd
Apr 17, 2024
- Explicitly Require Coq Vector in vector.v (for coq/coq#18936) · 47fa2683
  Andres Erbsen authored 1 year ago
  
  47fa2683
Apr 16, 2024
- sync test output check with Iris · c317cd31
  Ralf Jung authored 1 year ago
  
  c317cd31
Apr 12, 2024
- Merge branch 'master' into 'master' · bc24e51c
  Robbert Krebbers authored 1 year ago
  bc24e51c
- README. · b985d378
  Robbert Krebbers authored 1 year ago
  
  b985d378
- Generalize all `comm_acc` lemmas. · e7f4b4b4
  Robbert Krebbers authored 1 year 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 1 year ago
  
  af901d0b
- set release date · 60a677d9
  Ralf Jung authored 1 year ago
  
  60a677d9
- Merge branch 'ralf/readme-blocked' into 'master' · 46928b9d
  Robbert Krebbers authored 1 year ago
  46928b9d
- Merge branch 'ralf/release' into 'master' · eb2afa52
  Ralf Jung authored 1 year ago
  View commits for tag coq-stdpp-1.10.0 coq-stdpp-1.10.0
  
  eb2afa52
- prepare changelog for release · ff1a8cf1
  Ralf Jung authored 1 year ago
  
  ff1a8cf1
Apr 11, 2024
- Merge branch 'ralf/bitvector' into 'master' · 614f8ccc
  Ralf Jung authored 1 year ago
  614f8ccc