aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/declarations.ml
Commit message (Expand)AuthorAge
...
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Fix likely semantic typosGravatar glondu2010-09-15
* adpated the checker to handle coomutative cuts and lazynessGravatar barras2010-07-30
* After the approval of Bruno, here the patch for the checker.Gravatar soubiran2010-04-29
* added validation of delta_resolver (which seem to have an impact on typing)Gravatar barras2010-02-19
* [checker] fixed vo validation problems, module incompatibilities remainGravatar barras2010-02-19
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Fix a small oversight in checker commit 12288.Gravatar herbelin2009-08-23
* Transfers to checker ("let"s in inductive arities + Coq root read-only).Gravatar herbelin2009-08-22
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02
* Report des commits 11417 et 11437 de la v8.2Gravatar soubiran2008-10-15
* fixed bug with aliasesGravatar barras2008-05-07
* checker deals with polymorphic constants and module aliasesGravatar barras2008-05-06
* added the .vo checker (with independent Makefile)Gravatar barras2008-04-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 06:35:41 +0000