aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/validate.ml
Commit message (Expand)AuthorAge
* fix checker w.r.t. Dyn.t validationGravatar Enrico Tassi2014-02-26
* Adding dynamic value printing to votour through a registering mechanism.Gravatar ppedrot2013-08-23
* checker validation made a bit more verboseGravatar gareuselesinge2013-08-09
* Checker: vo validation checks the absence of Var/Evar/MetaGravatar letouzey2013-04-15
* Checker: reified encoding of .vo types in values.mlGravatar letouzey2013-04-15
* Names: revised representation of constants and mutual_inductiveGravatar letouzey2013-02-19
* still some more dead code removalGravatar letouzey2012-10-06
* Updating headers.Gravatar herbelin2012-08-08
* Adapt the checker after commit 15080Gravatar letouzey2012-03-26
* Checker: remove some dead codeGravatar letouzey2010-09-24
* adpated the checker to handle coomutative cuts and lazynessGravatar barras2010-07-30
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* 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
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02
* checker deals with polymorphic constants and module aliasesGravatar barras2008-05-06
* added the .vo checker (with independent Makefile)Gravatar barras2008-04-21