Skip to content
Snippets Groups Projects
Select Git revision
  • coq-stdpp-1.0
  • master default protected
  • mraise
  • coq-stdpp-1.8.0
  • coq-stdpp-1.7.0
  • coq-stdpp-1.6.0
  • coq-stdpp-1.5.0
  • 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
13 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.019Jul181715329Jun2827262524231918171615111098765432131May2827262520191817131176543230Apr292322212019151411831Mar2322191514131211524Feb18171512119129Jan28272320191715131187424Dec11109426Nov2320151211109231Oct30292821201513762129Sep161583231Aug3028724Jul2117161514102129Jun2523191817151429May2827261276130Apr292320171615111098765432131Mar302519181713109528Feb262524Merge branch 'ralf/mk_evar' into 'master'Merge branch 'ralf/solve_ndisj' into 'master'preserve mk_evar support for type coercions (by Robbert)more tests (by Robbert)handle more goals in solve_ndisjfix typoalternative implementation of mk_evar that keeps naive_solver workingMerge branch 'robbert/done_is_Some_non_rec' into 'master'Apply 1 suggestion(s) to 1 file(s)Use `fast_done` as suggested by @jung.Test.Do not call `done` recursively when solving `is_Some`.Merge branch 'ralf/mk_evar' into 'master'changelogadd test for mk_evar and things that coerce to typesadd mk_evar tactic (to replace Coq's strange evar tactic) and use itMerge branch 'robbert/done_is_Some' into 'master'Merge branch 'robbert/Permutation_app' into 'master'CHANGELOG.Merge branch 'ralf/lookup_union_l' into 'master'Make `done` work on `is_Some`.add lookup_union_lAlso fix `Permutation_cons`.Fix priority of `Permutation_app'`.trailing newlineMerge branch 'changelog-addition' into 'master'Update changelog for filter extensionality lemmaschangelog for sum_inhabited_r fixMerge branch 'sum-inhabited-r' into 'master'Make sum_inhabited_r not a copy of sum_inhabited_lMerge branch 'ralf/insert_delete' into 'master'changelogrename insert_delete → insert_delete_insert; add new insert_delete matching delete_insertMerge branch 'extra-lemmas' into 'master'Add changelog entry and make small tweaksMerge branch 'robbert/pretty_N_go_stackoverflow' into 'master'Apply 1 suggestion(s) to 1 file(s)Merge branch 'ralf/fst_snd_map_zip' into 'master'Comment.Fix potential stack overflow related to `Pretty N`.