coq - The formal proof system

Age	Commit message (Expand)	Author
2018-07-03	Nativecode compile_mind, compile_mind_field: remove unused arguments	Gaëtan Gilbert
2018-05-28	Unify pre_env and env	Maxime Dénès
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-11-06	[api] Deprecate all legacy uses of Names in core.	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-05-31	Feedback cleanup	Emilio Jesus Gallego Arias
2016-01-20	Update copyright headers.	Maxime Dénès
2015-07-10	Native compiler: refactor code handling pre-computed values.	Maxime Dénès
2015-02-02	Removing dead code.	Pierre-Marie Pédrot
2015-01-12	Update headers.	Maxime Dénès
2015-01-11	Declarations.mli refactoring: module_type_body = module_body	Pierre Letouzey
2014-04-29	Native compiler: hide compiled files in a .coq-native subdirectory.	Maxime Dénès
2014-04-09	Fix exponential behavior in native compiler with retroknowledge.	Maxime Dénès
2013-12-29	Avoid generating .ml files in native compiler.	Maxime Dénès
2013-12-28	Removing native_name reference from constant_body.	Maxime Dénès
2013-08-20	Declarations.mli: reorganization of modular structures	letouzey
2013-07-06	Fixing a bug in the native compiler, introduced by r16363, leading to undefined	mdenes
2013-03-25	Native compiler: hash-consing of generated code and values.	mdenes
2013-01-22	New implementation of the conversion test, using normalization by evaluation to	mdenes