coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	[native_compute] Fix handling of evars in conversion	Maxime Dénès	2018-02-05
*	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
*	[api] Deprecate all legacy uses of Names in core.	Emilio Jesus Gallego Arias	2017-11-06
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Native compiler: refactor code handling pre-computed values.	Maxime Dénès	2015-07-10
*	Make native compiler handle universe polymorphic definitions.	Maxime Dénès	2015-01-17
*	Update headers.	Maxime Dénès	2015-01-12
*	Cleaner interfaces for linking locations of native compiler.	Maxime Dénès	2014-11-12
*	Support for evars and metas in native compiler.	Maxime Dénès	2013-12-30
*	Removing native_name reference from constant_body.	Maxime Dénès	2013-12-28
*	Fixing a bug in the native compiler, introduced by r16363, leading to undefined	mdenes	2013-07-06
*	Native compiler: hash-consing of generated code and values.	mdenes	2013-03-25
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22