aboutsummaryrefslogtreecommitdiff
path: root/clib
AgeCommit message (Expand)Author
2019-05-21Fixing typos - Part 1JPR
2019-05-10[api] Remove 8.10 deprecations.Emilio Jesus Gallego Arias
2019-05-02Add union in Map interfaceMaxime Dénès
2019-04-03Protect some I/O routines from SIGALRMMaxime Dénès
2019-03-30Merge PR #8730: Add unicode category LMPierre-Marie Pédrot
2019-03-14Repair relevance marks in-kernel.Gaëtan Gilbert
2019-03-14Add relevance marks on binders.Gaëtan Gilbert
2019-02-22Implement hmap.updateGaëtan Gilbert
2019-02-22[lib] Add `Map.update` from OCaml 4.06Emilio Jesus Gallego Arias
2019-02-07Remove some non tailrec List.map from CList implementationsGaëtan Gilbert
2019-01-24add commentEnrico Tassi
2019-01-22[thread] protect threads against sigalrmEnrico Tassi
2018-12-17Add Map.find_optGaëtan Gilbert
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-11-26[dune] Minor tweak of dependencies.Emilio Jesus Gallego Arias
2018-11-16Reimplement Store using Dyn.whitequark
2018-11-16Add Dyn.anonymous, a more efficient version of Dyn.create (string_of_int n).whitequark
2018-11-12[clib] Remove unneeded `get_extension` function.Emilio Jesus Gallego Arias
2018-11-05Merge PR #8824: Do not check convertibility of pattern types in the kernelMaxime Dénès
2018-10-29Do not compare the type arguments in pattern-match branches.Pierre-Marie Pédrot
2018-10-18[clib] Provide `filter_range` function.Emilio Jesus Gallego Arias
2018-10-16Merge PR #8738: [clib] Deprecate string functions available in OCaml 4.05Pierre-Marie Pédrot
2018-10-16[clib] Remove Array functions available in OCaml 4.05.0Emilio Jesus Gallego Arias
2018-10-16[clib] Deprecate string functions available in OCaml 4.05Emilio Jesus Gallego Arias
2018-10-13Add unicode category LMMirai IKEBUCHI
2018-10-07Merge PR #8493: [api] Remove (most) 8.9 deprecated objects.Pierre-Marie Pédrot
2018-10-06Merge PR #7850: Rewrite CEphemeron to use a type-safe implementation based on...Pierre-Marie Pédrot
2018-10-06[api] Remove (most) 8.9 deprecated objects.Emilio Jesus Gallego Arias
2018-10-04Merge PR #8626: [ocaml] [lib] Remove some compatibility layers for OCaml < 4....Pierre-Marie Pédrot
2018-10-03Rename CEphemeron.clear→clean for clarity.whitequark
2018-10-03Rewrite CEphemeron to use a type-safe implementation based on GADTs.whitequark
2018-10-03[pretyper] Remove imperative passing of evar_map.Emilio Jesus Gallego Arias
2018-10-02[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0Emilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-09-03[doc] Build ML API documentation artifact.Emilio Jesus Gallego Arias
2018-08-27Add support for focusing on named goals using brackets.Théo Zimmermann
2018-07-24Projections use index representationGaëtan Gilbert
2018-07-23Displays the differences between successive proof steps in coqtop and CoqIDE.Jim Fehrle
2018-07-23Generate more compact escape sequences byJim
2018-06-25Merge PR #7798: Remove hack skipping comparison of algebraic universes in sub...Matthieu Sozeau
2018-06-22Define and use UGraph.enforce_leq_alg for subtyping inferenceGaëtan Gilbert
2018-06-21Add documentation for Dyn.whitequark
2018-06-21Rename Dyn.TParam→ValueS, Dyn.MapS.obj→value to clarify their purpose.whitequark
2018-06-21Reformat Dyn.{ml,mli}.whitequark
2018-06-19Merge PR #7841: Remove CanaryPierre-Marie Pédrot
2018-06-18Remove Canary.whitequark
2018-06-17Remove Hashcons.Hobj.whitequark
2018-06-15cArray: proper invalid_arg exceptionsMatthieu Sozeau
2018-06-11Merge PR #7406: Fix #7214: install knows which ml files do not get compiled t...Pierre-Marie Pédrot
2018-06-10[lib] Fix wrong deprecation comment.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 15:20:07 +0000