aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/modops.ml
Commit message (Expand)AuthorAge
* Modops: the strengthening functions can work without any env argumentGravatar letouzey2011-05-17
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Checker: remove some dead codeGravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* After the approval of Bruno, here the patch for the checker.Gravatar soubiran2010-04-29
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-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
* 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
* added the .vo checker (with independent Makefile)Gravatar barras2008-04-21