aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/votour.ml
Commit message (Expand)AuthorAge
* checker and votour ported to new vo format (after -vi2vo)Gravatar Enrico Tassi2014-02-26
* votour: better error messagesGravatar Enrico Tassi2014-02-26
* .vi files: .vo files without proofsGravatar Enrico Tassi2014-01-04
* Adding dynamic value printing to votour through a registering mechanism.Gravatar ppedrot2013-08-23
* Change in vo format : digest aren't Marshalled anymoreGravatar letouzey2013-08-22
* Fixing votourGravatar ppedrot2013-08-20
* Checker: vo validation checks the absence of Var/Evar/MetaGravatar letouzey2013-04-15
* votour: a small tool for guided tours of .voGravatar letouzey2013-04-15