coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	[safe_string] lib/cThread	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \|	No functional changes.
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	CThread: blocking read + threads now works	Enrico Tassi	2015-10-08
\|
*	Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)	Enrico Tassi	2015-02-05
\| \| \| \| \| \| \| \|	Strings are at most 16M on 32 bit OCaml, and the system state may be bigger. In this case we write to tmp file and Marshal.from_channel. We can't directly use the channel interface because of badly designed non blocking API (available only on fds and not channels).
*	CThread: workaround for threads lockup on windwos made more aggressive	Enrico Tassi	2015-02-04
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	CThread: use a different type for thread friendly in_channels	Enrico Tassi	2014-12-17
\|
*	Fixing bug #3858 and #3817 in one stroke.	Pierre-Marie Pédrot	2014-12-14
\|
*	more APIs in TQueue and CThread	Enrico Tassi	2014-07-10
\| \| \| \|	These are now sufficient to implement PIDE
*	Work around for bug in threads + blocking io streamlined	Enrico Tassi	2014-01-30