Skip to content
Snippets Groups Projects
Select Git revision
  • ci/artifacts
  • ci/buildcache
  • ci/coqdoc
  • ci/debug
  • ci/opam2
  • ci/perf
  • ci/ralf/mangled
  • coq-stdpp-1.0
  • fix-export
  • instance-nobody-open-proof
  • master default protected
  • options
  • ralf/exact_vm_cast
  • ralf/notation
  • robbert/map_seq
  • robbert/set_rename
  • 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.014Jun230May26252117151210984330Apr2625241926Mar161514643128Feb2322212017131076129Jan28252419131119Dec16151412330Nov28262220121110984130Oct2917157430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr242119181110965328Mar27222186123Feb22211916151312983231Jan25231413121019Dec181785429Nov282221201816121193131Oct2827242019181716131097629Sep28272624212019181786222Aug17825Jul26Jun30May251Apr20Mar171615141198123Feb221916151413109764331Jan9Dec86529Nov2423222120191817161510727Oct134328Sep27212014929Aug24221917842127Jul252322201211531Add lemma `vec_to_list_replicate`.Infinite docs: mention the generic constructions that should usually be usedAdd `set_fold_ind_L`.`max` and `min` infix notations for `N` and `Z` like we have for `nat`.comment normalization_CoqProject formattingtest 8.9.1, no longer test 8.7.0, 8.7.1Merge branch 'inh-string' into 'master'Merge branch 'fix-typo-instance-name' into 'master'Strings are inhabitedFix typo in instance nametest 8.10 beta branchtreat API pipelines like schedules and triggersAnother attempt at a `RelDecision` instance for `flip`.Revert "`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops due to eager unification."`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops due to eager unification.`Total` instances for all orders on numbers.Make the orders on numbers type class opaque.opam file: add synopsisSet Params and maximally implicits for `head` like other list functions.Add `Forall_reverse`.Merge branch 'patch-1' into 'master'Fix typo in docrelease version 1.2.0Rename `NoBackTrack` into `TCNoBackTrack`.Update CHANGELOG.mdCHANGELOG.More type annotations for https://github.com/coq/coq/pull/9996.Merge branch 'robbert/binders' into 'master'Binders library that's used in many Iris developments.Generalize `gset_to_propset` to `set_to_propset` for any SemiSet.Merge branch 'ci/robbert/setunfold' into 'master'New class `SetUnfoldElemOf` that specializes `SetUnfold` to improve performance.Merge branch 'gmultiset_lemmas' into 'master'gmultiset lemmasMerge branch 'map_zip_with' into 'master'Remove a trailing whitespaceAdd `map_delete_zip_with`.Fix some Coqdoc, e.g. use `[ ]` for code, that I did not see in the review of !62,Merge branch 'better-list-countable' into 'master'