aboutsummaryrefslogtreecommitdiff
path: root/checker/votour.ml
AgeCommit message (Expand)Author
2017-05-26[checker] [votour] resolve warning 52 fragile constant patternGaëtan Gilbert
2017-05-26[votour] Fix/disable warnings.Emilio Jesus Gallego Arias
2017-05-26[votour] Fix build with -safe-string (bug 5553)Emilio Jesus Gallego Arias
2016-05-04Merge branch 'v8.5'Pierre-Marie Pédrot
2016-05-02Make votour a bit more robust/forgiving with respect to user commands (bug #4...Guillaume Melquiond
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-11-15Displaying the object identifier in votour.Pierre-Marie Pédrot
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-26 02:53:42 +0000