coq - The formal proof system

Age	Commit message (Collapse)	Author
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵	Pierre Letouzey
	module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a
2016-05-08	Removing dead code and unused opens.	Pierre-Marie Pédrot

2016-03-09	Win: kill unreliable hence do not waitpid after kill -9 (Close #4369)	Enrico Tassi
	This commit also completes 74bd95d10b9f4cccb4bd5b855786c444492b201b
2016-01-20	Update copyright headers.	Maxime Dénès

2015-12-17	spawn: fix leak of file descriptors	Enrico Tassi
	The interesting manifestation of the bug was Unix.select returning no error but the empty list of descriptors, as if a timeout did happen.
2015-10-08	Spawn: use each socket exclusively for writing or reading	Enrico Tassi
	According to http://caml.inria.fr/mantis/view.php?id=5325 you can't use the same socket for both writing and reading. The result is lockups (may be fixed in 4.03).
2015-01-12	Update headers.	Maxime Dénès

2014-12-25	Inlining Spawn.kill_if in the one place were it was actually used, thus	Pierre-Marie Pédrot
	removing the need of thread creation in the interface.
2014-12-17	Spawn: fix request of Gc statistics	Enrico Tassi

2014-04-09	Removing handshake from Spawn. It used marshalling, which is bad for	Pierre-Marie Pédrot
	non-ML applications. Control channel can be also ignored.
2014-01-30	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey
	Moreover, cleanup of System.connect (used by the "external" tactic).
2014-01-26	Spawn: managed processes	Enrico Tassi
	The Spawn and Spawned modules factor the operation of spawning a process. Both synchronous and asynchronous channels are supported. Both threaded and glib like main loop models are supported. Still, not all combinations are truly tested not equipped with a decent API: only async + glib and sync + thread are, since these are the models we use for coqide<->coqtop and coqtop<->worker respectively.