Commits · master · Thibaut Pérami / stdpp

"src/symaware/base/simulators" did not exist on "base"

Browse files

Sep 11, 2023
- Merge branch 'ralf/fmap_inj' into 'master' · b9418660
  Robbert Krebbers authored Sep 11, 2023
  b9418660
- CHANGELOG typo. · 6e97c446
  Robbert Krebbers authored Sep 11, 2023
  6e97c446
- CHANGELOG. · 2db43fb2
  Robbert Krebbers authored Sep 11, 2023
  
  2db43fb2
- Tweaks. · 5b385655
  Robbert Krebbers authored Sep 11, 2023
  
  5b385655
- Add instance `bv_unsigned_inj` and use that. · 415ba1b5
  Robbert Krebbers authored Sep 11, 2023
  
  415ba1b5
Sep 06, 2023
- prove a general option_fmap_inj lemma, and a similar one for lists · b44a2d00
  Ralf Jung authored Aug 10, 2023
  
  b44a2d00
Sep 05, 2023
- Merge branch 'robbert/string_ascii_countable' into 'master' · 1ce70965
  Robbert Krebbers authored Sep 5, 2023
  1ce70965
- CHANGELOG. · e6e864c2
  Robbert Krebbers authored Sep 5, 2023
  
  e6e864c2
- Tweak comments. · f608a1c7
  Ralf Jung authored Sep 5, 2023 and Robbert Krebbers committed Sep 5, 2023
  
  f608a1c7
- Comment, rename, make Local. · ffe5989a
  Robbert Krebbers authored Sep 5, 2023
  
  ffe5989a
- Tweak Ltac generator. · d9d623c5
  Robbert Krebbers authored Sep 5, 2023
  
  d9d623c5
- Better `decode` for `string` that is generated. · d08d2b81
  Robbert Krebbers authored Sep 5, 2023
  
  d08d2b81
- Better coding for string/ascii. · dd3b34e2
  Robbert Krebbers authored Sep 5, 2023
  
  dd3b34e2
- Add missing `Local` in `pmap`. · 23d81fe3
  Robbert Krebbers authored Sep 5, 2023
  23d81fe3
Sep 01, 2023
- Merge branch 'bv-notations' into 'master' · 4aa805b7
  Michael Sammler authored Sep 1, 2023
  4aa805b7
- Add bitvector number notations · c4e43577
  Thibaut Pérami authored Sep 1, 2023 and Michael Sammler committed Sep 1, 2023
  
  c4e43577
Aug 30, 2023
- Merge branch 'ralf/ge' into 'master' · 92daea78
  Ralf Jung authored Aug 30, 2023
  92daea78
- improve comment · 93177374
  Robbert Krebbers authored Aug 30, 2023 and Ralf Jung committed Aug 30, 2023
  
  93177374
- explain why we don't have 'ge' notation · 7286a3cf
  Ralf Jung authored Aug 30, 2023
  
  7286a3cf
Aug 28, 2023
- Merge branch 'ike/hint_mode_leibniz_equiv' into 'master' · 800125de
  Robbert Krebbers authored Aug 28, 2023
  800125de
- Change Hint Mode of LeibnizEquiv · faa43c7a
  Ike Mulder authored Aug 28, 2023
  
  faa43c7a
- more comment tweaks (by Robbert) · 39d0f5b4
  Ralf Jung authored Aug 28, 2023
  
  39d0f5b4
- Merge branch 'ralf/multiset-solver' into 'master' · fe6145b9
  Ralf Jung authored Aug 28, 2023
  fe6145b9
- more precise comment · a95c77fa
  Robbert Krebbers authored Aug 28, 2023 and Ralf Jung committed Aug 28, 2023
  
  a95c77fa
- use ssreflect rewrite for multiset tactics · 4395d5a8
  Ralf Jung authored Aug 11, 2023
  
  4395d5a8
Aug 03, 2023
- Merge branch 'fold_comm_acc_lemmas' into 'master' · 4be5fd62
  Robbert Krebbers authored Aug 3, 2023
  4be5fd62
- Ralf's suggestions. · 0d1eb9c1
  Robbert Krebbers authored Aug 3, 2023
  
  0d1eb9c1
- Tweak proofs. · 49189aaa
  Robbert Krebbers authored Aug 3, 2023
  
  49189aaa
- Add fold-commuting lemmas to CHANGELOG.md · 6d5bd7c2
  Isaac van Bakel authored Aug 3, 2023
  
  6d5bd7c2
- Weaken premises and tweak proofs. · 98bbf575
  Robbert Krebbers authored Jun 12, 2023
  
  98bbf575
- Rename comm_acc -> comm_accum · d871b2cf
  Isaac van Bakel authored May 31, 2023
  d871b2cf
- Strengthen all fold commutativity lemmas · 5f006e49
  Isaac van Bakel authored May 31, 2023
  5f006e49
- Strengthen multiset disj union lemma · 27c24dd4
  Isaac van Bakel authored May 31, 2023
  27c24dd4
- Extend fold-commuting lemmas to lists, sets · 584ae69c
  Isaac van Bakel authored May 19, 2023
  584ae69c
- Add lemmas for commuting funcs with folds · 66a2fa17
  Isaac van Bakel authored May 15, 2023
  66a2fa17
- Merge branch 'robbert/params_lookup' into 'master' · 85778afd
  Robbert Krebbers authored Aug 3, 2023
  85778afd
- Add CHANGELOG. · 5f404bc2
  Robbert Krebbers authored Aug 3, 2023
  
  5f404bc2
- Correct `Params` instances for `lookup` and `singletonM`. · d61d9268
  Robbert Krebbers authored Aug 3, 2023
  
  d61d9268
- Merge branch 'ralf/pair_equiv' into 'master' · 14322a17
  Ralf Jung authored Aug 3, 2023
  14322a17
- Merge branch 'robbert/better_proper' into 'master' · e99461ab
  Ralf Jung authored Aug 3, 2023
  e99461ab