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.02Jul129Jun2523191817151429May282726191276130Apr292320171615111098765432131Mar302519181713109528Feb2625242320191817141311130Jan181716151319Dec622Nov2111762131Oct7119Sep1211529Aug27262423151413713Jul98754330Jun2827262521201814230May26252117151210984330Apr262524231926Mar161514643128Feb2322212017131076129Jan28252419131119Dec1615141230Nov28262220121110984115Oct7430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr2421181110965328Mar2722218623Feb22211916151312983231Jan25231413121019Dec181785429Nov2822212018161211931drop support for Coq 8.7Fix #70: add pattern variant of bind notationMerge branch 'robbert/multiset_solver' into 'master'Make `multiset_solver` stronger by also considering `multiplicity` in hyps.CHANGELOG.Add tests for `multiset_solver`.Add solver `multiset_solver` for multisets.Export `Countable` in `gmultiset`, without that, the file is useless.Merge branch 'gset-gmap-delete' into 'master'bump Coq to 8.11.2update MakefileMerge branch 'master' into 'master'Added sig_finite (and elem_of_list_fmap_inj, proj1_inj_pi)Fix compatibility with old Coq versions.Merge branch 'robbert/coq_12512' into 'master'Avoid arbitrary terms in `auto using` to make std++ compliant with Coq #12512.Turn some non-recursive `Fixpoint`s into `Definition`s.Fix inconsistent space.Coq 8.11.2 tag exists but there is no such releasetest Coq 8.11.2, and the Coq 8.12 branchpermit building with Coq 8.12Merge branch 'fix-forall-scope' into 'master'Remove type scope from forall notationMerge branch 'forall-notation' into 'master'notation for forallProve theorem about delete of gset_to_gmapProper instance with `pointwise_relation` for `from_option`.robbert/from_op…robbert/from_optionMerge branch 'msammler/rename_Nat2Z_inj_div' into 'master'rename Z2Nat_inj_div and Z2Nat_inj_modMerge branch 'revert-a2ac9e66' into 'master'Revert "Merge branch 'byte-countable' into 'master'"Merge branch 'byte-countable' into 'master'Add Countable instances for byteMerge branch 'robbert/list_find' into 'master'CHANGELOG entry.Lemmas for `list_find` in combination with `app` and `insert`.Make `list_find_Some` more `apply` friendly.Merge branch 'msammler/rotate' into 'master'Added rotate_nat_add, rotate_nat_sub, rotate and rotate_take functionsMerge branch 'ralf/map-forall-lookup' into 'master'