Commits · 7ae24ef31b0e974d5b1a5bcb3fe3c4a81b06fca1 · Gregory Malecha / stdpp

Oct 01, 2019
- Generalize `list_find` lemmas to become bi-implications. · 69c36292
  Robbert Krebbers authored 5 years ago
  
  Thanks to @jules for the suggestion and an initial proof.
  69c36292
Sep 19, 2019
- CHANGELOG entry. · 3a1f5195
  Robbert Krebbers authored 5 years ago
  
  3a1f5195
Sep 11, 2019
- Equality lemma for `dom D (filter P m)`. · 16da535d
  Robbert Krebbers authored 5 years ago
  
  16da535d
Aug 29, 2019
- release 1.2.1 · 75435486
  Ralf Jung authored 5 years ago
  
  coq-stdpp-1.2.1
  
  75435486
Aug 24, 2019
- Credit @dfrumin in CHANGELOG. · adfc24d2
  Robbert Krebbers authored 5 years ago
  
  adfc24d2
Aug 14, 2019
- Changelog tweaks, e.g. order contributes by first name. · 0b3d1e9f
  Robbert Krebbers authored 5 years ago
  
  0b3d1e9f
- Add new lemmas for list, set, and map operations. · 6bc8803a
  Paulo Emílio de Vilhena authored 5 years ago
  
  6bc8803a
Aug 13, 2019
- More lemmas about [map_imap]. · f37ad033
  Rodolphe Lepigre authored 5 years ago and Robbert Krebbers committed 5 years ago
  
  f37ad033
Aug 07, 2019
- 1.2.1 release notes · 956644ce
  Ralf Jung authored 5 years ago
  
  956644ce
Apr 26, 2019
- release version 1.2.0 · 10bc4e2a
  Ralf Jung authored 5 years ago
  
  coq-stdpp-1.2.0
  
  10bc4e2a
- Rename `NoBackTrack` into `TCNoBackTrack`. · 32eab16e
  Robbert Krebbers authored 5 years ago
  
  32eab16e
- Update CHANGELOG.md · b52e911c
  Ralf Jung authored 5 years ago
  
  b52e911c
- CHANGELOG. · 65f8c130
  Robbert Krebbers authored 5 years ago
  
  65f8c130
Feb 20, 2019
- CHANGELOG entry about the big set/map rename. · 3c484ebe
  Robbert Krebbers authored 6 years ago
  
  3c484ebe
Dec 19, 2017
- put release date into changelog · 11b9fbe1
  Ralf Jung authored 7 years ago
  
  11b9fbe1
Dec 18, 2017
- expand changelog · 1dafe0b6
  Ralf Jung authored 7 years ago
  
  1dafe0b6
- some README changes · 5425c9b1
  Ralf Jung authored 7 years ago
  
  5425c9b1
- fix changelog wording · b6f2f9e2
  Ralf Jung authored 7 years ago
  
  b6f2f9e2
- fix changelog typos · 4b8807b2
  Ralf Jung authored 7 years ago
  
  4b8807b2
- Start working on a CHANGELOG. · d3169b50
  Robbert Krebbers authored 7 years ago
  
  d3169b50