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.013Jan19Dec622Nov2111762131Oct7119Sep1211529Aug27262423151413713Jul98754330Jun2827262521201814230May26252117151210984330Apr262524231926Mar161514643128Feb2322212017131076129Jan28252419131119Dec1615141230Nov28262220121110984115Oct7430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr2421181110965328Mar2722218623Feb22211916151312983231Jan25231413121019Dec181785429Nov282221201816121193131Oct2827242019181716131097629Sep28272624212019181786222Aug17825Jul26Jun30May251Apr20Mar171615141198123Feb221916151413109764331Jan9Dec86529Novfix 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 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.