Commits · 90b615234a0b9d902052701b127c087a53264b73 · Adam / stdpp

Jul 28, 2021
- changelog · 90b61523
  Ralf Jung authored 3 years ago
  
  90b61523
- changelog · ff1aafac
  Ralf Jung authored 3 years ago
  
  ff1aafac
- Changelog · 1ecabad2
  Paolo G. Giarrusso authored 3 years ago
  
  Verified
  
  1ecabad2
- CHANGELOG. · 03d863f5
  Robbert Krebbers authored 3 years ago
  
  03d863f5
- CHANGELOG tweak. · b40a992e
  Robbert Krebbers authored 3 years ago
  
  b40a992e
- CHANGELOG. · b40765e8
  Robbert Krebbers authored 3 years ago
  
  b40765e8
Jul 27, 2021
- Properly escape ' in sed script. · d8ad1852
  Robbert Krebbers authored 3 years ago
  
  d8ad1852
- Apply 1 suggestion(s) to 1 file(s) · e50a5b09
  Ralf Jung authored 3 years ago and Robbert Krebbers committed 3 years ago
  
  e50a5b09
- Tweak CHANGELOG. · 47bd9469
  Robbert Krebbers authored 3 years ago
  
  47bd9469
- CHANGELOG. · 54efa2cd
  Robbert Krebbers authored 3 years ago
  
  54efa2cd
- changelog · 486ac80b
  Ralf Jung authored 3 years ago
  
  486ac80b
- CHANGELOG. · 990c01e8
  Robbert Krebbers authored 3 years ago
  
  990c01e8
Jul 26, 2021
- Apply 1 suggestion(s) to 1 file(s) · 186412a7
  Ralf Jung authored 3 years ago and Robbert Krebbers committed 3 years ago
  
  186412a7
- CHANGELOG. · 5eff5bfd
  Robbert Krebbers authored 3 years ago
  
  5eff5bfd
Jul 24, 2021
- CHANGELOG. · 28d53537
  Robbert Krebbers authored 3 years ago
  
  28d53537
Jul 22, 2021
- solve_ndisj: handle goals containing _ ∖ _ ∖ _ · a9c8861d
  Ralf Jung authored 3 years ago
  
  a9c8861d
Jul 21, 2021
- CHANGELOG. · c2671737
  Robbert Krebbers authored 3 years ago
  
  c2671737
- more detailed changelog · 22a2d166
  Robbert Krebbers authored 3 years ago and Ralf Jung committed 3 years ago
  
  22a2d166
- changelog · b5adcbea
  Ralf Jung authored 3 years ago
  
  b5adcbea
- rename map_union_subseteq_l_alt → map_union_subseteq_l' (and likewise for _r) · 71bce7f8
  Ralf Jung authored 3 years ago
  
  71bce7f8
Jul 20, 2021
- Missing entry in sed script for curry MR. · c95596b7
  Robbert Krebbers authored 3 years ago
  
  c95596b7
Jul 19, 2021
- CHANGELOG. · aed9bd8a
  Robbert Krebbers authored 3 years ago
  
  aed9bd8a
- handle more goals in solve_ndisj · b217790f
  Ralf Jung authored 3 years ago
  
  b217790f
Jul 15, 2021
- changelog · f09470bb
  Ralf Jung authored 3 years ago
  
  f09470bb
- CHANGELOG. · c45911b3
  Robbert Krebbers authored 3 years ago
  
  c45911b3
Jun 28, 2021
- Update changelog for filter extensionality lemmas · 951bd2eb
  Simon Friis Vindum authored 3 years ago
  
  951bd2eb
Jun 27, 2021
- changelog for sum_inhabited_r fix · 02b85368
  Ralf Jung authored 3 years ago
  
  02b85368
Jun 25, 2021
- changelog · cffd6689
  Ralf Jung authored 3 years ago
  
  cffd6689
- Add changelog entry and make small tweaks · e22e4a76
  Simon Friis Vindum authored 3 years ago
  
  e22e4a76
Jun 18, 2021
- CHANGELOG. · 45bd0293
  Robbert Krebbers authored 3 years ago
  
  45bd0293
Jun 17, 2021
- CHANGELOG. · e0c793be
  Robbert Krebbers authored 3 years ago
  
  e0c793be
Jun 16, 2021
- CHANGELOG. · 4d31feda
  Robbert Krebbers authored 3 years ago
  
  4d31feda
Jun 11, 2021
- CHANGELOG. · 7d8bf699
  Robbert Krebbers authored 3 years ago
  
  7d8bf699
Jun 10, 2021
- CHANGELOG. · 4a9d9330
  Robbert Krebbers authored 3 years ago
  
  4a9d9330
- CHANGELOG for !276. · 7f76f0e2
  Robbert Krebbers authored 3 years ago
  
  7f76f0e2
Jun 07, 2021
- CHANGELOG. · 4fc791b3
  Robbert Krebbers authored 3 years ago
  
  4fc791b3
Jun 06, 2021
- Update changelog · 4100164d
  Dan Frumin authored 3 years ago
  
  4100164d
Jun 04, 2021
- CHANGELOG. · c75cd874
  Robbert Krebbers authored 3 years ago
  
  c75cd874
Jun 02, 2021
- CHANGELOG. · a35dedaf
  Robbert Krebbers authored 3 years ago
  
  a35dedaf
- Update CHANGELOG regarding Permutation changes. · 558df4bc
  Robbert Krebbers authored 3 years ago
  
  Thanks to @tchajed for pointing out the omission.
  558df4bc