Commits · master · Herman Bergwerf / stdpp · GitLab

Snippets Groups Projects

Mar 08, 2023
- Remove unused names. · 7f97e384
  Herman Bergwerf authored 2 years ago
  
  7f97e384
- Add NoDup_bind, vec_enum, vec_finite. · 123bd34a
  Herman Bergwerf authored 2 years ago
  
  123bd34a
- Remove unbound variable in type class instance for `multiset_solver`. · edeef15e
  Robbert Krebbers authored 2 years ago
  
  edeef15e
- Merge branch 'robbert/mul_reg' into 'master' · f6b14fe6
  Robbert Krebbers authored 2 years ago
  f6b14fe6
- CHANGELOG entry. · 1003c61b
  Robbert Krebbers authored 2 years ago
  
  1003c61b
- Cancellation lemmas for multiplication on `nat`. · 25964e6d
  Robbert Krebbers authored 2 years ago
  
  25964e6d
- Tweak some comments about `multiset_solver`. · b411834e
  Robbert Krebbers authored 2 years ago
  
  b411834e
Feb 17, 2023
- Tweak to sed script. · 2d8ccea3
  Robbert Krebbers authored 2 years ago
  
  2d8ccea3
- Unicode arrows. · 5a936ba4
  Robbert Krebbers authored 2 years ago
  
  5a936ba4
- Merge branch 'robbert/naive_solver_evars' into 'master' · 38fd58f4
  Ralf Jung authored 2 years ago
  38fd58f4
- CHANGELOG. · daabbc9a
  Robbert Krebbers authored 2 years ago
  
  daabbc9a
- Test. · c25d0657
  Robbert Krebbers authored 2 years ago
  
  c25d0657
- Make sure that `naive_solver` does not create any new evars on leafs. · ab1c4c33
  Robbert Krebbers authored 2 years ago
  
  ab1c4c33
Feb 13, 2023
- Merge branch 'robbert/hint_rewrite_locality' into 'master' · 46e72edb
  Robbert Krebbers authored 2 years ago
  46e72edb
- coq-lint: warn about Hint Rewrite without locality · 7993266d
  Ralf Jung authored 2 years ago
  
  7993266d
- Merge branch 'robbert/curry' into 'master' · 5d696acb
  Ralf Jung authored 2 years ago
  5d696acb
- Merge branch 'revise-readme' into 'master' · d0cfa8a5
  Robbert Krebbers authored 2 years ago
  d0cfa8a5
- Remove curry/uncurry workaround for Coq ≤ 8.13. · c8078a49
  Robbert Krebbers authored 2 years ago
  
  c8078a49
- Add locality for `Hint Rewrite`. · c9320d8e
  Robbert Krebbers authored 2 years ago
  
  c9320d8e
Feb 07, 2023
- Stop mentioning Coq bug fixed in Coq >= 8.13 · f1d8b960
  Paolo G. Giarrusso authored 2 years ago
  f1d8b960
Feb 06, 2023
- Merge branch 'fix-typos' into 'master' · 3b04f543
  Robbert Krebbers authored 2 years ago
  3b04f543
- CHANGELOG. · 3f754144
  Robbert Krebbers authored 2 years ago
  
  3f754144
- Fix typo in lemma name · 821c4633
  Paolo G. Giarrusso authored 2 years ago
  
  821c4633
- Fix trailing whitespace · 3c72d923
  Paolo G. Giarrusso authored 2 years ago
  
  3c72d923
Feb 04, 2023
- Merge branch 'ralf/coq-8.12' into 'master' · 7125e166
  Ralf Jung authored 2 years ago
  7125e166
- also drop support for Coq 8.13 · 84bb9872
  Ralf Jung authored 2 years ago
  
  84bb9872
Feb 01, 2023
- Merge branch 'ralf/proof-term' into 'master' · e04271e2
  Robbert Krebbers authored 2 years ago
  e04271e2
- avoid deprecated Proof <term>. · 0bb120dd
  Ralf Jung authored 2 years ago
  
  0bb120dd
Jan 09, 2023
- drop support for Coq 8.12 · 4fc90094
  Ralf Jung authored 2 years ago
  
  4fc90094
Jan 02, 2023
- also test Coq 8.17 · 4e2da79d
  Ralf Jung authored 2 years ago
  
  4e2da79d
Dec 16, 2022
- Merge branch 'robbert/decision_true_false_cost' into 'master' · b391a3c2
  Robbert Krebbers authored 2 years ago
  b391a3c2
Dec 15, 2022
- Add test. · 61284d21
  Robbert Krebbers authored 2 years ago
  
  61284d21
- Use high cost for `Decision` instances for `True` and `False`. · 92c79d91
  Robbert Krebbers authored 2 years ago
  
  92c79d91
Dec 13, 2022
- Merge branch 'ralf/size_list_to_map' into 'master' · a5d1f16c
  Robbert Krebbers authored 2 years ago
  a5d1f16c
- Merge branch 'paolo/option-guard-bool-decide' into 'master' · e0657da4
  Robbert Krebbers authored 2 years ago
  e0657da4
- option.v: Add option_guard_decide and option_guard_bool_decide · fb4b91fe
  Paolo G. Giarrusso authored 2 years ago
  fb4b91fe
- add size_list_to_map · 3471c0eb
  Ralf Jung authored 2 years ago
  3471c0eb
Dec 12, 2022
- Merge branch 'ralf/map_zip_with_empty' into 'master' · 3c6ebc4b
  Robbert Krebbers authored 2 years ago
  3c6ebc4b
- add map_zip_with_empty lemmas · e56433ec
  Ralf Jung authored 2 years ago
  
  e56433ec
Dec 05, 2022
- set native-compiler no for CI · 0231fed2
  Ralf Jung authored 2 years ago
  
  0231fed2