aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/remoteCounter.ml
Commit message (Expand)AuthorAge
* 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