aboutsummaryrefslogtreecommitdiff
path: root/lib/remoteCounter.ml
AgeCommit message (Expand)Author
2021-04-14Remove remote counter systemGaëtan Gilbert
2021-04-09Make critical sections safe in the presence of exceptionsLasse Blaauwbroek
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-17remote counter: avoid thread race on sockets (fix #4823)Enrico Tassi
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-10-13STM: primitives to snapshot a .vi while in interactive modeEnrico Tassi
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
2014-02-26remoteCounter: backup/restoreEnrico Tassi
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
2013-08-20Universe counters on slaves are in sync with mastergareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:49:29 +0000