aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/analyze.ml
Commit message (Expand)AuthorAge
* [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
* Adding a more efficient representation of OCaml objects in votour.Gravatar Pierre-Marie Pédrot2015-06-25