aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/check_stat.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [checker] Fix/fine tune printing.Gravatar Emilio Jesus Gallego Arias2016-08-18
* Fixing the checker.Gravatar Pierre-Marie Pédrot2016-06-18
* Preventive compatibility fixes for flushing.Gravatar Emilio Jesus Gallego Arias2016-06-14
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Fix missing newline in coqchk engagement (bug #4694).Gravatar Guillaume Melquiond2016-04-28
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Option -type-in-type: added support in checker and making it contaminatingGravatar Hugo Herbelin2015-07-10
* Update headers.Gravatar Maxime Dénès2015-01-12
* Checker: regroup all vo-related types in cic.mliGravatar letouzey2013-04-15
* still some more dead code removalGravatar letouzey2012-10-06
* Cleaning interface of Util.Gravatar ppedrot2012-09-18
* Updating headers.Gravatar herbelin2012-08-08
* Getting rid of Pp.msgnl and Pp.message.Gravatar ppedrot2012-06-01
* Noise for nothingGravatar pboutill2012-03-02
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02
* added the .vo checker (with independent Makefile)Gravatar barras2008-04-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 12:25:01 +0000