Skip to content
Snippets Groups Projects
Select Git revision
  • coq-stdpp-1.0
  • master default protected
  • ralf/options
  • robbert/cbn
  • robbert/from_option
  • robbert/tc_opaque
  • coq-stdpp-1.4.0
  • coq-stdpp-1.3.0
  • coq-stdpp-1.2.1
  • coq-stdpp-1.2.0
  • coq-stdpp-1.1.0
  • coq-stdpp-1.0.0
12 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.07Nov62131Oct7119Sep1211529Aug27262423151413713Jul98754330Jun2827262521201814230May26252117151210984330Apr262524231926Mar161514643128Feb2322212017131076129Jan28252419131119Dec1615141230Nov28262220121110984115Oct7430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr2421181110965328Mar2722218623Feb22211916151312983231Jan25231413121019Dec181785429Nov282221201816121193131Oct2827242019181716131097629Sep28272624212019181786222Aug17825Jul26Jun30May251Apr20Mar171615141198123Feb221916151413109764331Jan9Dec86529Nov24232221switch to new ocaml defaulttest 8.10.0 instead of 8.8.1switch timing to Coq 8.10.1update MakefileMerge branch 'ci/robbert/no_forward_instances' into 'master'Remove `:>>` subclass instance declarationsName some anonymous instances.Use pattern matching lambdas.only run CI on parent repoMerge branch 'fix-gitignore' into 'master'Update gitignoreMerge branch 'lemmas' into 'master'Add congruence lemmas for closuresMerge branch 'lemmas' into 'master'Add two useful lemmasREADME: adjust formattingMerge branch 'master' into 'master'treat .ref files with native line endingsMentioned Windows line ending fix in READMEMerge branch 'robbert/list_find' into 'master'Generalize `list_find` lemmas to become bi-implications.Merge branch 'robbert/issue42' into 'master'CHANGELOG entry.Disambiguate Haskell-style notations for partially operators.Merge branch 'btt-on-coinductive' into 'master'Fix w.r.t. coq/coq#10764.Merge branch 'robbert/map_filter' into 'master'Merge branch 'jh/fix_scopes' into 'master'Equality lemma for `dom D (filter P m)`.Lemmas for `##`/`∪` and `filter` on finite maps.Fix Open/Close scopeAvoid use of `solve_proper`.Merge branch 'feature/fin_maps' into 'master'Lemmas for fin_mapsrelease 1.2.1coq-stdpp-1.2.1coq-stdpp-1.2.1Merge branch 'feature/binders' into 'master'Proofs about bindersMerge branch 'ralf/empty' into 'master'more instances for the empty typeMerge branch 'ralf/empty' into 'master'