coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-14	Remove remote counter system	Gaëtan Gilbert
2021-02-26	Delay the dynamic linking of native-code libraries until native_compute is ca...	Guillaume Melquiond
2020-11-09	Remove the native symbol registering from the safe environment.	Pierre-Marie Pédrot
2020-07-01	[state] Consolidate state handling in Vernacstate	Emilio Jesus Gallego Arias
2020-05-13	Centralize the OCaml version-checking function.	Pierre-Marie Pédrot
2020-05-13	Store the OCaml version used for Coq in vo files.	Pierre-Marie Pédrot
2020-04-28	Merge PR #12193: Close files in fetch_delayed	Emilio Jesus Gallego Arias
2020-04-28	Close files in fetch_delayed	Gaëtan Gilbert
2020-04-27	Do not delay the loading of the library_disk field when requiring libraries.	Pierre-Marie Pédrot
2020-04-26	Open object files in binary mode.	Pierre-Marie Pédrot
2020-04-26	Move the ObjFile module to its own file.	Pierre-Marie Pédrot
2020-04-26	Implement a name-based representation for vo files.	Pierre-Marie Pédrot
2020-04-13	pass filters around	Gaëtan Gilbert
2020-04-01	Merge PR #11306: Centralize the flag handling native compilation.	Maxime Dénès
2020-03-30	Merge PR #11817: [cleanup] Remove unnecessary Map/Set module creation	Gaëtan Gilbert
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-03-13	[cleanup] Remove unnecessary Map/Set module creation	Emilio Jesus Gallego Arias
2020-03-03	[exninfo] Deprecate aliases for exception re-raising.	Emilio Jesus Gallego Arias
2019-12-22	Centralize the flag handling native compilation.	Pierre-Marie Pédrot
2019-12-10	[library] [cleanup] Remove code duplication.	Emilio Jesus Gallego Arias
2019-11-01	Implementing support for vos/vok files.	charguer
2019-09-16	Optimize multiple imports	Maxime Dénès
2019-09-16	Specialize `ImportObject` to `Export`	Maxime Dénès
2019-09-16	Remove library-specific code for `Import`.	Maxime Dénès
2019-08-30	[library] Move library to vernac	Emilio Jesus Gallego Arias