Iris / stdpp · GitLab

27 forks: 26 public, 0 internal, and 1 private

Arthur Azevedo de Amorim / stdpp

Merge branch 'strict-bulleting' into 'master'

0 0 0 0

Updated Sep 17, 2020
Hugo Herbelin / stdpp

Merge branch 'ci/ralf/mangle' into 'master'

0 0 0 0

Updated Sep 02, 2020
Alix Trieu / stdpp

Merge branch 'clarify-which-bsd' into 'master'

0 0 0 0

Updated Jul 16, 2020
sarahzrf / stdpp

Minor style tweaks

0 0 0 0

Updated Jun 18, 2020
Olivier Laurent / stdpp

Merge branch 'ascii-countable' into 'master'

0 0 0 0

Updated Sep 07, 2020
Gregory Malecha / stdpp

Merge branch 'msammler/fix_imap_seq0' into 'master'

0 0 0 0

Updated Sep 07, 2020
Armaël Guéneau / stdpp

Merge branch 'robbert/vec_countable' into 'master'

0 0 0 0

Updated Sep 07, 2020
Jonas Kastberg / stdpp

Merge branch 'set-seq-lemmas' into 'master'

0 0 0 0

Updated Sep 07, 2020
Simon Friis Vindum / stdpp

also remove 8.9.0 from testing

0 0 0 0

Updated Oct 02, 2020
William Mansky / stdpp

Mentioned Windows line ending fix in README

0 0 0 0

Updated Sep 07, 2020
Pierre-Marie Pédrot / stdpp

Merge branch 'robbert/map_filter' into 'master'

0 0 0 0

Updated Sep 07, 2020
Paulo Emílio de Vilhena / stdpp

Add new lemmas for list, set, and map operations.

0 0 0 0

Updated Sep 07, 2020
Rodolphe Lepigre / stdpp

Add `replicate_S_end`.

0 0 0 0

Updated Sep 07, 2020
Simon Spies / stdpp

Merge branch 'master' of https://gitlab.mpi-sws.org/iris/stdpp

0 0 0 0

Updated Sep 07, 2020
Paolo G. Giarrusso / stdpp

fix typo in Makefile

0 0 0 0

Updated Oct 10, 2020
Jakob Botsch Nielsen / stdpp

Merge branch 'ralf/readme' into 'master'

0 0 0 0

Updated Sep 07, 2020
Maxime Dénès / stdpp

Merge branch 'robbert/bool_of_tc' into 'master'

0 0 0 0

Updated Sep 07, 2020
Tej Chajed / stdpp

Versions of `elem_of_list_split` that give first or last element.

0 0 0 0

Updated Oct 21, 2020
Michael Sammler / stdpp

Add lemma `binder_delete_empty`.

0 0 0 0

Updated Sep 07, 2020
Marianna Rapoport / coq-stdpp

mark Coq 8.9 as broken

0 0 0 0

Updated Sep 07, 2020