aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/vio_checking.ml
Commit message (Expand)AuthorAge
* Fix FIXME: use OCaml 4.02 generative functors when available.Gravatar Gaëtan Gilbert2017-11-01
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [cleanup] Unify all calls to the error function.Gravatar Emilio Jesus Gallego Arias2017-05-27
* [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* vio: fix argument parsing (progress on #4442)Gravatar Enrico Tassi2015-12-01
* Remove some uses of Loadpath.get_paths.Gravatar Guillaume Melquiond2015-09-29
* Splitting the library representation on disk in two.Gravatar Pierre-Marie Pédrot2015-06-24
* Fix bug #4014.Gravatar Pierre-Marie Pédrot2015-02-09
* Update headers.Gravatar Maxime Dénès2015-01-12
* rename: vi -> vioGravatar Enrico Tassi2015-01-06