coq - The formal proof system

Age	Commit message (Expand)	Author
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-11-01	Add primitive floats to checker	Pierre Roux
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-02-04	Primitive integers	Maxime Dénès
2018-11-21	More informative error on vo validation failure	Gaëtan Gilbert
2018-07-20	Fix #8043: Unsafe assignment in checker.	Pierre-Marie Pédrot
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-01-10	Add interfaces for checker and remove dead code.	Maxime Dénès
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-12-19	Fixing performance issue of checker validation.	Pierre-Marie Pédrot
2014-02-26	fix checker w.r.t. Dyn.t validation	Enrico Tassi
2013-08-23	Adding dynamic value printing to votour through a registering mechanism.	ppedrot
2013-08-09	checker validation made a bit more verbose	gareuselesinge
2013-04-15	Checker: vo validation checks the absence of Var/Evar/Meta	letouzey
2013-04-15	Checker: reified encoding of .vo types in values.ml	letouzey
2013-02-19	Names: revised representation of constants and mutual_inductive	letouzey
2012-10-06	still some more dead code removal	letouzey
2012-08-08	Updating headers.	herbelin
2012-03-26	Adapt the checker after commit 15080	letouzey
2010-09-24	Checker: remove some dead code	letouzey
2010-07-30	adpated the checker to handle coomutative cuts and lazyness	barras
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-02-19	added validation of delta_resolver (which seem to have an impact on typing)	barras
2010-02-19	[checker] fixed vo validation problems, module incompatibilities remain	barras
2009-03-02	porting r11900 11905 and 11953 to trunk	barras
2008-05-06	checker deals with polymorphic constants and module aliases	barras
2008-04-21	added the .vo checker (with independent Makefile)	barras