aboutsummaryrefslogtreecommitdiff
path: root/clib
AgeCommit message (Expand)Author
2020-11-29Micro-optimizations of the tight loop in Hashset.Pierre-Marie Pédrot
2020-11-16Adding Array.iter3.Hugo Herbelin
2020-10-27Merge PR #13226: Restore the List.Smart.map original implementation.coqbot-app[bot]
2020-10-19Restore the List.Smart.map original implementation.Pierre-Marie Pédrot
2020-10-03Avoid magic numbersJim Fehrle
2020-09-18[lib] make canonical_path_name always absolute (fix #13031)Enrico Tassi
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-27Merge PR #12499: Clean future goalsPierre-Marie Pédrot
2020-08-26Wrap future goals into a moduleMaxime Dénès
2020-08-21Add a heterogeneous map function over Dyn.Map.Pierre-Marie Pédrot
2020-05-18[obligations] Pre-functionalize Program stateEmilio Jesus Gallego Arias
2020-05-15Search: Displaying the "use About" notice only when really needed.Hugo Herbelin
2020-05-14[exn] [tactics] improve backtraces on monadic errorsEmilio Jesus Gallego Arias
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-10[clib] Remove module CStackEmilio Jesus Gallego Arias
2020-02-24[exn] remove `raise` taking optional exception information argumentEmilio Jesus Gallego Arias
2020-01-30Remove unused CEphemeron.iter_opt, cleanup commentsGaëtan Gilbert
2020-01-28Merge PR #11376: Fix fold order in CArray.fold_right(2)_mapPierre-Marie Pédrot
2020-01-27Fix fold order in CArray.fold_right(2)_mapGaëtan Gilbert
2020-01-15[ocaml] Remove Custom Backtrace module in favor of OCaml'sEmilio Jesus Gallego Arias
2020-01-13Native compute: cleanup temporary files on program exitGaëtan Gilbert
2019-12-09[hashset] Don't use deprecated Obj.truncateEmilio Jesus Gallego Arias
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-10-24Raise an anomaly when looking up unknown constant/inductiveGaëtan Gilbert
2019-09-19[ocaml] Allow building with deprecated Obj primitives.Emilio Jesus Gallego Arias
2019-09-10Moving a standard string function (is_prefix) from Minilib to CString.Hugo Herbelin
2019-06-17Update ml-style headers to new year.Théo Zimmermann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:02:33 +0000