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.030Nov28262220121110984115Oct7430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr2421181110965328Mar2722218623Feb22211916151312983231Jan25231413121019Dec181785429Nov282221201816121193131Oct2827242019181716131097629Sep28272624212019181786222Aug17825Jul26Jun30May251Apr20Mar171615141198123Feb221916151413109764331Jan9Dec86529Nov2423222120191817161510727Oct134328Sep27212014929Aug24221917842127Jul25232220121153130Jun26231814131May30292723429Apr1311730Mar292322211110543227Feb2625242322212019171615141311109842127Jan222018161412422Dec2115118420Nov19181716Type class version of `elem_of` for lists.Merge branch 'add_docs_to_readme' into 'master'Merge branch 'no-implicit-core' into 'master'Explicitly use core hint databaseVersions of `elem_of_list_split` that give first or last element.reorder some files for better coqdocAdd link to docs to the Readmeself-compiled ocaml is the new defaultI meant all the timing jobscompile our own ocaml so that opam doesn't act up the way it usually likes toProve map_Forall_delete.More results about filter on map.Lemma prefix_lookup.Add `Nat_iter_add`.remove no-longer-needed Makefile hackeryDrop support for Coq 8.6.Merge branch 'robbert/simpl_Z' into 'master'Consistently block `simpl` on all `Z` operations.Support singletons in `solve_map_disjoint`.also declare compatibility with Coq 8.9 in opam filealso test 8.9 development branchsupport Coq 8.8.2Add `collection_map` and some basic theory about it.UI tests actually work for current Coquse newer ocaml for Coq masteruse Docker image matching CI branchautoamtically use latest CIfix CIupdate CI for opam 2WIP CIupdate CIupdate CIupdate CImark Coq 8.9 as brokenRemove TIMING support from test suiteclean bettertest against Coq 8.8.1Lemma list_insert_id.Lemma list_fmap_insert.Merge branch 'master' into 'master'
Loading