Branches · Dan Frumin / coq-stdpp · GitLab

options

d730a337 · Options file. · Feb 04, 2017

Compare

Download source code

zip tar.gz tar.bz2 tar
ci

0274560f · update build system, CI and README · Feb 07, 2017

Compare

Download source code

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

b8ffa59a · opam: fix uninstall · Feb 14, 2017

Compare

Download source code

zip tar.gz tar.bz2 tar
ralf/solve_proper

15d165b5 · solve_proper: Do not enforce unfolding the head symbol · Feb 21, 2017

Compare

Download source code

zip tar.gz tar.bz2 tar
map_properties merged

cd0b7f48 · Some map_zip/map_zip_with properties. · May 30, 2017

Compare

Download source code

zip tar.gz tar.bz2 tar
difference_lemmas merged

0c2f6db1 · Add some useful lemmas about `difference` and `delete` · Sep 06, 2017

Compare

Download source code

zip tar.gz tar.bz2 tar
master default

a7d2b180 · Get rid of the awk.Makefile references · Dec 14, 2018

Download source code

zip tar.gz tar.bz2 tar
map_zip_with

0fe5f842 · Remove a trailing whitespace · Mar 26, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
map_zip_with_swap

273e12e9 · Add `map_zip_with_flip`. · Aug 24, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
lookup_total

9f566656 · Add `lookup_total_proper` and `list_lookup_total_proper` · Feb 10, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
lookup_total_lemmas

f074bf02 · Some lemmas about `list_lookup_total` · Feb 12, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
insert_replicate

cca88541 · `insert_replicate_strong` -> `insert_replicate_lt` · Aug 28, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
set_map_2

eab2b27a · Tweaks. · May 23, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
set_bind

da5452a3 · Apply some sugguestions from Robbert and Paolo · Jul 18, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar