aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/include
Commit message (Expand)AuthorAge
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* updated include file for debuggingGravatar Bruno Barras2015-01-06
* use List.rev_map whenever possibleGravatar letouzey2013-02-18
* [checker] fixed vo validation problems, module incompatibilities remainGravatar barras2010-02-19
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02