Skip to content
Snippets Groups Projects
Select Git revision
  • ci/ralf/debug
  • coq-stdpp-1.0
  • master default protected
  • msammler/list
  • msammler/naive_solver0
  • msammler/rotate
  • msammler/strings_in_prelude
  • options
  • ralf/reflexive
  • robbert/countable_list
  • robbert/list_find
  • robbert/set_unfold
  • robbert/tc_opaque
  • 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
18 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.017Feb141311130Jan181716151319Dec622Nov2111762131Oct7119Sep1211529Aug27262423151413713Jul98754330Jun2827262521201814230May2926252117151210984330Apr262524231926Mar161514643128Feb2322212017131076129Jan28252419131119Dec1615141230Nov28262220121110984115Oct7430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr2421181110965328Mar2722218623Feb22211916151312983231Jan25231413121019Dec181785429Nov282221201816121193131Oct2827242019181716131097629Sep28272624212019181786222Aug17825Jul26Jun30May251Apr20Mar171615141198123Feb221916151413109764331JanMove lattice related stuff up.Remove obsolete `Hint Extern`s that predate the `Hint Mode` declarations.`Prop` is inhabited.Merge branch 'z-greater-decidability' into 'master'Add decidability instances for Z.gt and Z.gedrop 8.9 timing againtemporarily also time 8.9.1 againenable docs againrely 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 default