summaryrefslogtreecommitdiff
path: root/clib
AgeCommit message (Expand)Author
9 days[lib] Try to handle critical exceptions from memprof.refs/pull/18906/headEmilio Jesus Gallego Arias
2024-04-05Adding List.fold_left4 and List.fold_left5_map.Hugo Herbelin
2024-03-25Precompute unicode tables to reduce exe sizerefs/pull/18687/headGaëtan Gilbert
2024-02-16Change pattern representation for indexed holesYann Leray
2024-02-16Apply review suggestionsYann Leray
2024-02-16Add syntax to declare symbols and rewrite rulesYann Leray
2024-02-16Add kernel (lazy) reduction for rewrite rulesYann Leray
2024-01-24Remove Dyn.anonymousrefs/pull/18529/headGaëtan Gilbert
2023-12-11[build] Bump minimal dune version to 3.6refs/pull/18359/headEmilio Jesus Gallego Arias
2023-11-13Int.Map: add specialized versions of set and modifyrefs/pull/18191/headGaëtan Gilbert
2023-11-13HMap: avoid hashing when map is empty, use Int.Map combinators moreGaëtan Gilbert
2023-11-08Restore tailrecness of CList.filterrefs/pull/18262/headGaëtan Gilbert
2023-07-29Adding Map.filter_map.Hugo Herbelin
2023-07-07Adding a function to quote strings according to Coq convention.Hugo Herbelin
2023-06-26Merge PR #17540: Add CMap.ExtS.symmetric_diffcoqbot-app[bot]
2023-05-05Merge PR #17347: Ltac2: Add set and map APIs for ident string int constant in...coqbot-app[bot]
2023-05-04Update API after feedbackrefs/pull/17540/headLasse Blaauwbroek
2023-05-02Tweak CList.firstn: return original list when fully usedrefs/pull/17558/headGaëtan Gilbert
2023-05-02Ltac2: Add set and map APIs for ident string int constant inductive constructorGaëtan Gilbert
2023-04-27Add CMap.ExtS.symmetric_diffLasse Blaauwbroek
2023-04-17Enable warning 70 (missing mli), add mli filesrefs/pull/17293/headGaëtan Gilbert
2023-03-16Remove some unused clib/option APIsrefs/pull/17387/headGaëtan Gilbert
2023-02-21CList.find_map: return option instead of raising Not_foundrefs/pull/17265/headGaëtan Gilbert
2023-01-24Polymorphic mapsrefs/pull/17141/headGaëtan Gilbert
2023-01-17Remove mutable from grammar entries, use global map ref insteadGaëtan Gilbert
2022-12-15[clib] [cThread] Don't inline `Mutex.unlock` manually.refs/pull/16999/headEmilio Jesus Gallego Arias
2022-12-05Adding Map.of_list.Hugo Herbelin
2022-10-25Refine the evar-evar fast path criterion in Evarsolve.refs/pull/16722/headPierre-Marie Pédrot
2022-10-24Add an is_default function to SList and use it where appropriate.Pierre-Marie Pédrot
2022-09-26Use a user-provided equality in Pcoq rule factorizing instead of (==).refs/pull/16544/headPierre-Marie Pédrot
2022-09-22Fix some odoc warningsrefs/pull/16528/headGaëtan Gilbert
2022-09-21Introduce a dedicated type for evar instances.Pierre-Marie Pédrot
2022-08-05Experimenting requiring only contiguous letters to be kept glued.Hugo Herbelin
2022-07-15Adding unicode classes Separator and Control.Hugo Herbelin
2022-05-27[coqdep] Cleanup findlib-specific functions.refs/pull/16075/headEmilio Jesus Gallego Arias
2022-05-23Add a staging notion to summariesrefs/pull/16056/headMaxime Dénès
2022-05-18Remove CList.except (alias of remove)refs/pull/16032/headGaëtan Gilbert
2022-05-18Stop using module type CList.ExtSGaëtan Gilbert
2022-05-01Remove various comments now that we require OCaml >= 4.09Pierre Roux
2022-04-09Adding List.sep_first companion of List.sep_last.Hugo Herbelin
2022-03-10merge minisys back into systemrefs/pull/15765/headAli Caglayan
2021-12-27Share hashing and hashconsing in lists.refs/pull/14880/headPierre-Marie Pédrot
2021-12-20Adding a "smart" version of List.fold_left_map and List.fold_right_map.refs/pull/15389/headHugo Herbelin
2021-12-10refactor: micro optimize Hashset.reprrefs/pull/15328/headRudi Grinberg
2021-12-10Merge PR #15293: Drop backtrace when raising Exitcoqbot-app[bot]
2021-12-08Remove unused Map.Unsafe.map APIrefs/pull/15312/headGaëtan Gilbert
2021-12-05Drop backtrace when raising Exitrefs/pull/15293/headRudi Grinberg
2021-11-11CList: Adding exists_i.Hugo Herbelin
2021-10-28Infrastructure for import categoriesGaëtan Gilbert
2021-10-25New rules for disambiguation of Require:Hugo Herbelin
generated by cgit v0.10.2-6-g49f6 at 2024-05-05 22:06:56 (GMT)