coq - The formal proof system

Age	Commit message (Expand)	Author
2021-02-24	Infrastructure for fine-grained debug flags	Maxime Dénès
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-01-22	[thread] protect threads against sigalrm	Enrico Tassi
2018-06-15	[spawn] don't create a control socket on Unix (Fix #7713)	Enrico Tassi
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-12-11	[stm] Move process_id to Spawned.	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-02	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey
2016-05-08	Removing dead code and unused opens.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-10-08	Spawn: use each socket exclusively for writing or reading	Enrico Tassi
2015-03-12	Fixing bug #4055.	Pierre-Marie Pédrot
2015-01-12	Update headers.	Maxime Dénès
2014-12-17	Spawn: fix request of Gc statistics	Enrico Tassi
2014-12-17	CThread: use a different type for thread friendly in_channels	Enrico Tassi
2014-04-25	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot