aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2021-04-23LStream: a library for streams with non-canonical locations.Hugo Herbelin
2021-04-14Remove remote counter systemGaëtan Gilbert
2021-04-12Merge PR #14046: make critical sections safe in the presence of exceptionscoqbot-app[bot]
2021-04-09Make critical sections safe in the presence of exceptionsLasse Blaauwbroek
2021-04-06Make description of Pp.pr_enum more precise + spacing in pp.ml.Hugo Herbelin
2021-03-30[flags] [profile] Remove bit-rotten CProfile code.Emilio Jesus Gallego Arias
2021-03-23Do not match on record types with mutable fields in function arguments.Guillaume Melquiond
2021-03-04Properly support nested timeoutsLasse Blaauwbroek
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2021-02-24Infrastructure for fine-grained debug flagsMaxime Dénès
2021-02-23Print anomaly labels regardless of -debug, and never print user_err labelsGaëtan Gilbert
2021-02-15Fix doc comment in pp.mliGaëtan Gilbert
2021-02-03Fix #13739 - disable some warnings when calling Function.Pierre Courtieu
2021-01-27Typo in commentGaëtan Gilbert
2021-01-27[ltac] break dependency on the STMEnrico Tassi
2021-01-14Merge PR #13378: Add support for high resolution timeout functionsPierre-Marie Pédrot
2021-01-12Add an indirection to the UGraph internal representation.Pierre-Marie Pédrot
2021-01-06Further pushing up the printing and sorting of universes.Pierre-Marie Pédrot
2021-01-05Move universe printing out of AcyclicGraph.Pierre-Marie Pédrot
2020-12-06Add support for high resolution timeout functions.Lasse Blaauwbroek
2020-12-04[win] [envars] honor file "coq_environment.txt"Enrico Tassi
2020-12-04[coq_makefile] honor environment for OCAMLFINDEnrico Tassi
2020-11-25Separate interning and pretyping of universesGaëtan Gilbert
2020-11-23Merge PR #13377: Fix timeout by ensuring signal exceptions are not erroneousl...Pierre-Marie Pédrot
2020-11-22Fix timeout by ensuring signal exceptions are not erroneously caughtLasse Blaauwbroek
2020-11-20Add default value of -native-compiler to `coqc -config`Pierre Roux
2020-11-02Merge PR #13250: Micro-optimization in Control.check_for_interrupt.coqbot-app[bot]
2020-10-27Rename misc nonterminalsJim Fehrle
2020-10-27Rename tactic_expr -> ltac_exprJim Fehrle
2020-10-22Micro-optimization in Control.check_for_interrupt.Pierre-Marie Pédrot
2020-10-12Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocolcoqbot-app[bot]
2020-10-09Add an XML message for "Show Proof Diffs"Jim Fehrle
2020-10-08Dropping the misleading int argument of Pp.h.Hugo Herbelin
2020-09-17Be more efficient when generating the merge of ltle maps in AcyclicGraph.Pierre-Marie Pédrot
2020-09-17Do not allocate intermediate sets in universe refreshing.Pierre-Marie Pédrot
2020-07-10Fix #12513: coq no longer reports mismatched version numbers.Pierre-Marie Pédrot
2020-06-11[declare] Remove some unused `fix_exn`Emilio Jesus Gallego Arias
2020-05-15[misc] Better preserve backtraces in several modulesEmilio Jesus Gallego Arias
2020-05-13Centralize the OCaml version-checking function.Pierre-Marie Pédrot
2020-04-26Open object files in binary mode.Pierre-Marie Pédrot
2020-04-26Tweak a comment on the low-level objfile API.Pierre-Marie Pédrot
2020-04-26Move the ObjFile module to its own file.Pierre-Marie Pédrot
2020-04-26Implement a name-based representation for vo files.Pierre-Marie Pédrot
2020-04-08[errors] Print backtrace of internal errors in printersEmilio Jesus Gallego Arias
2020-04-01Merge PR #11306: Centralize the flag handling native compilation.Maxime Dénès
2020-03-30Merge PR #11817: [cleanup] Remove unnecessary Map/Set module creationGaëtan Gilbert
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-13[cleanup] Remove unnecessary Map/Set module creationEmilio Jesus Gallego Arias
2020-03-11Merge PR #11790: [lib] [ccalgo] Remove unused code / cleanupPierre-Marie Pédrot
2020-03-10[clib] Remove module CStackEmilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:30:55 +0000