aboutsummaryrefslogtreecommitdiff
path: root/checker/votour.ml
AgeCommit message (Expand)Author
2015-06-25Adding a more efficient representation of OCaml objects in votour.Pierre-Marie Pédrot
2015-06-24Splitting the library representation on disk in two.Pierre-Marie Pédrot
2015-06-20Votour displays wordsize of segments before loading them.Pierre-Marie Pédrot
2015-03-25Exporting memory representation of STM tasks for votour.Pierre-Marie Pédrot
2015-03-24Functorized interface over object representation in votour.Pierre-Marie Pédrot
2015-03-24Fixing representation of dynamics in votour (again).Pierre-Marie Pédrot
2015-03-18Fixing internal representation of Dyn.t in votour.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-02-26checker and votour ported to new vo format (after -vi2vo)Enrico Tassi
2014-02-26votour: better error messagesEnrico Tassi
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2013-08-23Adding dynamic value printing to votour through a registering mechanism.ppedrot
2013-08-22Change in vo format : digest aren't Marshalled anymoreletouzey
2013-08-20Fixing votourppedrot
2013-04-15Checker: vo validation checks the absence of Var/Evar/Metaletouzey
2013-04-15votour: a small tool for guided tours of .voletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 10:51:58 +0000