Commits · 1e2df25ee773706dcb1984f1db654ca5014c791a · Adam / stdpp

Nov 04, 2021
- CHANGELOG · 1e2df25e
  Paolo G. Giarrusso authored 3 years ago
  
  Verified
  
  1e2df25e
Sep 27, 2021
- changelog · cde5ccd9
  Ralf Jung authored 3 years ago
  
  cde5ccd9
- changelog · c00c740b
  Ralf Jung authored 3 years ago
  
  c00c740b
Sep 07, 2021
- Revert "Merge branch 'robbert/sprop' into 'master'" · 3c1f58a9
  Ralf Jung authored 3 years ago
  
  This reverts merge request !309
  3c1f58a9
Sep 06, 2021
- CHANGELOG. · 242cef88
  Robbert Krebbers authored 3 years ago
  
  242cef88
Sep 05, 2021
- changelog · 551b4882
  Ralf Jung authored 3 years ago
  
  551b4882
- changelog · d8db31da
  Ralf Jung authored 3 years ago
  
  d8db31da
- tweak comments; changelog · b4f29dc0
  Ralf Jung authored 3 years ago
  
  b4f29dc0
Jul 28, 2021
- update sed script · 79bf64ed
  Ralf Jung authored 3 years ago
  
  79bf64ed
- bring back some empty_inv lemmas for rewriting · 5f95d3dd
  Ralf Jung authored 3 years ago
  
  5f95d3dd
- 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