Commits · e32fc779e7ae44272bd4538745ab239c350b942a · Iris / stdpp

Oct 30, 2020
- fix sed script · e32fc779
  Ralf Jung authored 4 years ago
  
  e32fc779
Oct 29, 2020
- Update sed script. · 420e57f6
  Robbert Krebbers authored 4 years ago
  
  420e57f6
- CHANGELOG. · e8adfd04
  Robbert Krebbers authored 4 years ago
  
  e8adfd04
- Remove space. · 10f2dd99
  Robbert Krebbers authored 4 years ago
  
  10f2dd99
Oct 28, 2020
- CHANGELOG. · 046113d7
  Robbert Krebbers authored 4 years ago
  
  046113d7
Oct 06, 2020
- drop support for Coq 8.8 and 8.9 · 2aa79871
  Ralf Jung authored 4 years ago
  
  2aa79871
Oct 02, 2020
- Remove Qp_not_plus_q_ge_1 · 028eb93c
  Simon Friis Vindum authored 4 years ago
  
  028eb93c
Aug 31, 2020
- Add lemmas and max for Qp · e16d8113
  Simon Friis Vindum authored 4 years ago and Robbert Krebbers committed 4 years ago
  
  e16d8113
Jul 16, 2020

Rename `dom_map filter` → `dom_filter`, `dom_map_filter_L` → `dom_filter_L`, · 5710f90e

and `dom_map_filter_subseteq` → `dom_filter_subseteq` for consistency's sake.

This was pointed out by @atrieu in iris/stdpp!175 (comment 53746)

5710f90e

Jul 15, 2020
- add .0 in changelog for consistency · 048ade3d
  Ralf Jung authored 4 years ago
  
  048ade3d
- release std++ 1.4 · b26e5a4a
  Ralf Jung authored 4 years ago
  
  b26e5a4a
- CHANGELOG entry for !169. · 76b66f20
  Robbert Krebbers authored 4 years ago
  
  76b66f20
- add author names to changelog · ab7ed0b8
  Ralf Jung authored 4 years ago
  
  ab7ed0b8
Jul 14, 2020
- edit and fix changelog · 8b8653b8
  Ralf Jung authored 4 years ago
  
  8b8653b8
Jul 02, 2020
- drop support for Coq 8.7 · 852e6fa7
  Ralf Jung authored 4 years ago
  
  852e6fa7
Jun 25, 2020
- CHANGELOG. · f4269240
  Robbert Krebbers authored 4 years ago
  
  f4269240
May 12, 2020
- rename Z2Nat_inj_div and Z2Nat_inj_mod · 0eaae21d
  Michael Sammler authored 4 years ago
  
  0eaae21d
- Revert "Merge branch 'byte-countable' into 'master'" · e99804d9
  Robbert Krebbers authored 4 years ago
  
  This reverts merge request !155
  e99804d9
- Add Countable instances for byte · 5346dd70
  Tej Chajed authored 4 years ago
  
  Verified
  
  5346dd70
- CHANGELOG entry. · e6b17ca4
  Robbert Krebbers authored 4 years ago
  
  e6b17ca4
- Added rotate_nat_add, rotate_nat_sub, rotate and rotate_take functions · a613b693
  Michael Sammler authored 4 years ago
  
  a613b693
Apr 30, 2020
- Add Countable instance for Ascii.ascii · bb75eecc
  Tej Chajed authored 4 years ago
  
  Verified
  
  bb75eecc
Apr 16, 2020
- Added select and select_revert tactics · 199d011d
  Michael Sammler authored 4 years ago
  
  199d011d
Apr 15, 2020
- Extracted list_numbers.v with seq, seqZ, sum_list and max_list · fdd98ed8
  Michael Sammler authored 4 years ago
  
  fdd98ed8
Apr 11, 2020
- Add `encode_Z` function to encode element of countable type as `Z`. · 94b04a14
  Robbert Krebbers authored 4 years ago
  
  94b04a14
Apr 07, 2020
- CHANGELOG. · 85fb9ae4
  Robbert Krebbers authored 4 years ago
  
  85fb9ae4
Apr 06, 2020
- add missing sed flag · fd5a2ff5
  Ralf Jung authored 4 years ago
  
  fd5a2ff5
Apr 03, 2020
- Rename `fin_maps.singleton_proper` into `singletonM_proper`. · 59444525
  Robbert Krebbers authored 4 years ago
  
  59444525
Apr 02, 2020
- adjust to GNU sed · 809acb6d
  Ralf Jung authored 4 years ago
  
  809acb6d
Mar 31, 2020
- Fix typo in CHANGELOG · a75f766b
  Tej Chajed authored 4 years ago
  
  Rename performed in !131 was on drop_insert, not drop_length
  Verified
  
  a75f766b
- random collection of lemmas · ef163e26
  Michael Sammler authored 5 years ago
  
  ef163e26
Mar 19, 2020
- add sed script for 1.3.0 · 1eaa5cf6
  Ralf Jung authored 5 years ago
  
  1eaa5cf6
Mar 17, 2020
- Update CHANGELOG for 1.3 release. · 731caa8a
  Robbert Krebbers authored 5 years ago
  
  731caa8a
- CHANGELOG. · 6b11b096
  Robbert Krebbers authored 5 years ago
  
  6b11b096
- More CHANGELOG. · 97079040
  Robbert Krebbers authored 5 years ago
  
  97079040
- CHANGELOG. · f05baf13
  Robbert Krebbers authored 5 years ago
  
  f05baf13
Mar 10, 2020
- Set `Hint Mode` for logical `TCX` type classes. · b130764f
  Robbert Krebbers authored 5 years ago
  
  b130764f
Mar 09, 2020
- Add tactic `set_unfold in H`. · bd0e6352
  Robbert Krebbers authored 5 years ago
  
  bd0e6352
Mar 05, 2020
- Rename `fin_of_nat` → `nat_to_fin` to follow the conventions. · 9b4ce6dd
  Robbert Krebbers authored 5 years ago
  
  9b4ce6dd
Feb 28, 2020
- Changelog entry · 4f00de71
  Armaël Guéneau authored 5 years ago
  
  4f00de71