aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/votour.ml
Commit message (Expand)AuthorAge
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Displaying the object identifier in votour.Gravatar Pierre-Marie Pédrot2015-11-15
|/
* Adding a more efficient representation of OCaml objects in votour.Gravatar Pierre-Marie Pédrot2015-06-25
* Splitting the library representation on disk in two.Gravatar Pierre-Marie Pédrot2015-06-24
* 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