Branches · Glen Mével / stdpp · GitLab

master default protected

cf7c2c41 · Merge branch 'robbert/destruct_select' into 'master' · Dec 16, 2021

Download source code

zip tar.gz tar.bz2 tar
glen/finite-nodec

3a527a4b · finite: avoid some EqDecision premises · Dec 12, 2021

Download source code

zip tar.gz tar.bz2 tar
msammler/bitvector

480e4931 · add bv_wrap_idemp · Nov 19, 2021

Download source code

zip tar.gz tar.bz2 tar
msammler/bool_decide_simpl_never

53885542 · Add Arguments bool_decide : simpl never · Oct 15, 2021

Download source code

zip tar.gz tar.bz2 tar
robbert/map_filter_True_False

e447ded9 · CHANGELOG. · Jul 28, 2021

Download source code

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

37f168f9 · Avoid `sUnit` and instead use `Squash`. · Jul 27, 2021

Download source code

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

a82eb791 · check for missing 'Hint Mode' · Jun 04, 2021

Download source code

zip tar.gz tar.bz2 tar
robbert/multiset_singleton

3165a4c5 · Use new set notation for multisets in tests. · Mar 14, 2021

Download source code

zip tar.gz tar.bz2 tar
robbert/f_equiv_pointwise

cafae3e7 · More WIP. · Feb 05, 2021

Download source code

zip tar.gz tar.bz2 tar
robbert/cbn

700d0d0d · cbn. · Jul 02, 2020

Download source code

zip tar.gz tar.bz2 tar
robbert/from_option

d83e44a6 · Proper instance with `pointwise_relation` for `from_option`. · May 19, 2020

Download source code

zip tar.gz tar.bz2 tar
robbert/tc_opaque

848e15e7 · No more `Typeclasses Opaque` for `equiv`. · Apr 23, 2019

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.0

b8ffa59a · opam: fix uninstall · Feb 14, 2017

Download source code

zip tar.gz tar.bz2 tar