aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/votour.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Add interfaces for checker and remove dead code.Gravatar Maxime Dénès2018-01-10
* Use large arrays in the checker demarshaller.Gravatar Pierre-Marie Pédrot2017-11-28
* Truncate strings in votour to 1024 characters.Gravatar Pierre-Marie Pédrot2017-11-23
* Bypass int and string representation in votour when it's incorrect.Gravatar Pierre-Marie Pédrot2017-11-23
* Tail-recursive list traversal in votour.Gravatar Pierre-Marie Pédrot2017-11-23
* Implement a tail-recursive traversal of the object in votour.Gravatar Pierre-Marie Pédrot2017-11-22
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [checker] [votour] resolve warning 52 fragile constant patternGravatar Gaëtan Gilbert2017-05-26
* [votour] Fix/disable warnings.Gravatar Emilio Jesus Gallego Arias2017-05-26
* [votour] Fix build with -safe-string (bug 5553)Gravatar Emilio Jesus Gallego Arias2017-05-26
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-04
|\
| * Make votour a bit more robust/forgiving with respect to user commands (bug #4...Gravatar Guillaume Melquiond2016-05-02
* | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-08 20:44:42 +0000