Branches · Herman Bergwerf / stdpp · GitLab

Snippets Groups Projects

master default protected

7f97e384 · Remove unused names. · 2 years ago
iris/stdpp!451
Download source code

zip
tar.gz
tar.bz2
tar
robbert/union_Some

79cc350a · CHANGELOG. · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/no_new_unsolved_evars

d066da83 · Alternative definition of `no_new_unsolved_evars` tactic by @jung . · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/listZ

63fe167c · add Forall2 · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/map

59ff9eae · miscellaneous map lemmas · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/list

ef734bd6 · more list subseteq lemmas (some of them from Perennial) · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/hint-mode-plus

09a53f1f · Derive keys. · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/union_with

66520de3 · add some option union lemmas, and use it in lookup_union · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci-release

3dbfd47a · empty commit to get a new hash · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/set_fold_union

4f656cac · Apply 1 suggestion(s) to 1 file(s) · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/msammler/more_feed

33661a3f · Add the feed generalizef, efeed generalize, efeed inversion, and efeed destruct tactics · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/msammler/_1_2_lemmas

18c543b3 · Add some _1, _2 lemmas · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
dfrumin/coq-stdpp-set_map_2

eab2b27a · Tweaks. · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/set_guide

6fb7d791 · Very preliminary version of a quick start guide for sets. · 3 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
msammler/bitvector

b8a40f8a · update to master · 3 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
msammler/bool_decide_simpl_never

53885542 · Add Arguments bool_decide : simpl never · 3 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/map_filter_True_False

e447ded9 · CHANGELOG. · 3 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
tchajed/stdpp-sprop-gmap

37f168f9 · Avoid `sUnit` and instead use `Squash`. · 3 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/hint-mode-check

a82eb791 · check for missing 'Hint Mode' · 3 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/multiset_singleton

3165a4c5 · Use new set notation for multisets in tests. · 4 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Prev
1
2
Next