aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/remoteCounter.ml
Commit message (Expand)AuthorAge
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* remote counter: avoid thread race on sockets (fix #4823)Gravatar Enrico Tassi2016-06-17
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* STM: primitives to snapshot a .vi while in interactive modeGravatar Enrico Tassi2014-10-13
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* remoteCounter: backup/restoreGravatar Enrico Tassi2014-02-26
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* Universe counters on slaves are in sync with masterGravatar gareuselesinge2013-08-20