aboutsummaryrefslogtreecommitdiff
path: root/checker/votour.ml
AgeCommit message (Expand)Author
2020-04-26Implement a name-based representation for vo files.Pierre-Marie Pédrot
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-01-16Move the per-architecture check of marshalled Uint63s to Values.Pierre-Marie Pédrot
2019-12-06Use standard float an integer datatypes in Votour representation.Pierre-Marie Pédrot
2019-11-01Add primitive floats to checkerPierre Roux
2019-10-18Fix votour after the change of representation of opaques.Pierre-Marie Pédrot
2019-10-04Merge Direct and Indirect nodes in Opaqueproof.Pierre-Marie Pédrot
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-02-04Primitive integersMaxime Dénès
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-09-26Fix votour compilation after #8102.Pierre-Marie Pédrot
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-10Add interfaces for checker and remove dead code.Maxime Dénès
2017-11-28Use large arrays in the checker demarshaller.Pierre-Marie Pédrot
2017-11-23Truncate strings in votour to 1024 characters.Pierre-Marie Pédrot
2017-11-23Bypass int and string representation in votour when it's incorrect.Pierre-Marie Pédrot
2017-11-23Tail-recursive list traversal in votour.Pierre-Marie Pédrot
2017-11-22Implement a tail-recursive traversal of the object in votour.Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
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-01-31 08:08:06 +0000