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.011Feb130Jan181716151319Dec622Nov2111762131Oct7119Sep1211529Aug27262423151413713Jul98754330Jun2827262521201814230May26252117151210984330Apr262524231926Mar161514643128Feb2322212017131076129Jan28252419131119Dec1615141230Nov28262220121110984115Oct7430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr2421181110965328Mar2722218623Feb22211916151312983231Jan25231413121019Dec181785429Nov282221201816121193131Oct2827242019181716131097629Sep28272624212019181786222Aug17825Jul26Jun30May251Apr20Mar171615141198123Feb221916151413109764331Janrely on default timing conf nametime on 8.11 instead of 8.10Merge branch 'lookup_total' into 'master'Fix the notation for LookupTotaltest 8.11.0 releaseMerge branch 'tcforall2_forall' into 'master'added tcforall2_forall lemmaAdd lemma `binder_delete_empty`.Add lemma `map_lookup_zip_with_Some`.Add `map_zip_with_proper`.`Proper` instances for HO-functions on lists.Add lemma `lookup_zip_with_Some`.Strengten `fmap_equiv_ext` lemmas.Some generic results on binders that were in Iris.Lemma for lookup of cons.fix READMEstop timing Coq masterfix opam version numberdisable docs building for now, SSH login is brokenopam 2 upgradetemporarily time Coq masterbump to Coq 8.10.2Coq 8.11 is fixedallow 8.11 job to fail while we investigatemake opam dependency more tightly match what we testtest the Coq 8.11 branchMerge branch 'opaquify-gmap' into 'master'Opaquify proofs in gmap_partial_alter (fix #46)Merge branch 'set-seq-lemmas' into 'master'Add lemmas regarding set_seqalso remove 8.9.0 from testingswitch 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 repo