Skip to content
Snippets Groups Projects
Select Git revision
  • ci-release protected
  • ci/msammler/more_feed
  • ci/refactor_staging
  • coq-stdpp-1.0 protected
  • dfrumin/coq-stdpp-set_map_2
  • master default protected
  • msammler/bitvector
  • msammler/bool_decide_simpl_never
  • msammler/monad_without_universe_constraints
  • ralf/empty-opaque
  • ralf/hint-mode-check
  • ralf/hint-mode-plus
  • ralf/list-module
  • ralf/listZ
  • ralf/lookup_insert
  • ralf/make_simple_intropattern
  • ralf/multiset-solver
  • robbert/cancel_inj_surj
  • robbert/cbn
  • robbert/f_equiv_pointwise
  • coq-stdpp-1.11.0 protected
  • coq-stdpp-1.10.0 protected
  • coq-stdpp-1.9.0 protected
  • coq-stdpp-1.8.0 protected
  • coq-stdpp-1.7.0 protected
  • coq-stdpp-1.6.0 protected
  • coq-stdpp-1.5.0 protected
  • coq-stdpp-1.4.0 protected
  • coq-stdpp-1.3.0 protected
  • coq-stdpp-1.2.1 protected
  • coq-stdpp-1.2.0 protected
  • coq-stdpp-1.1.0 protected
  • coq-stdpp-1.0.0 protected
33 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.010Oct97629Sep28272624212019181786222Aug17825Jul26Jun30May251Apr20Mar171615141198123Feb221916151413109764331Jan9Dec86529Nov2423222120191817161510727Oct134328Sep27212014929Aug24221917842127Jul25232220121153130Jun26231814131May30292723429Apr1311730Mar292322211110543227Feb2625242322212019171615141311109842127Jan222018161412422Dec2115118420Nov19181716113Feb110Jun5221May22Apr1615Mar225Feb2416138130Jan29272523Dec181623Nov1569Oct86230Sep251613126326Aug22976410Jul425Jun23171676524May22429Sep27Aug2115141224Jun1721May15121172Apr25Mar1424Feb221919Jan512Nov19Oct104Sep30Aug29242121Jun1411use a section for local optionsupdate opam CIupdate Makefilesolve_proper: be sure to run simpl at least oncetweak opam build-dep installationadd more properties of intersection_with for fin_mapsAdd a constant `tc_opaque` for type class opaque definitions.Merge branch 'gmap_filter'Make coding style more consistent.Make map_filter only dependent on the typeclasses it actually needs.generalize filter from gmap to fin_mapsimplify proofs of gmap filteradd filter for gmapfix build-dep on macOSunify CIawk.Makefile: Don't patch vio2vo; instead add quick2voMisc lemmas for lists.Unfolding lemma for Acc.Get rid of `Automatic Coercions Import`, it is deprecated.update MakefileIntroduce `RelDecision` for decidable relations and define `EqDecision` using it.opam: remove redundant parenthesesfix Makefileupdate build systemPut `Dom` as first argument of `FinMapDom`.fix make build-depremove version field from opam fileno more opam.pinsUpdate for Coq 8.7 coq_makefileAdd uncurry3 and uncurry4.Version of inj_countable with a total function.Get rid of type class instance finite_countable.Prove that generic trees are countable.restrict publishing to master branchtrigger opam-update repo after successful CI builddon't claim to be compatible with arbitrary dev version of Coqupdate opam file to reflect that we requrie Coq 8.6 nowadd opam descrNo longer test master using Coq 8.5pl3.Set Hint Mode for all classes in `base.v`.