aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/votour.ml
Commit message (Expand)AuthorAge
* Votour displays wordsize of segments before loading them.Gravatar Pierre-Marie Pédrot2015-06-20
* Exporting memory representation of STM tasks for votour.Gravatar Pierre-Marie Pédrot2015-03-25
* Functorized interface over object representation in votour.Gravatar Pierre-Marie Pédrot2015-03-24
* Fixing representation of dynamics in votour (again).Gravatar Pierre-Marie Pédrot2015-03-24
* Fixing internal representation of Dyn.t in votour.Gravatar Pierre-Marie Pédrot2015-03-18
* Update headers.Gravatar Maxime Dénès2015-01-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 05:56:49 +0000