coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Use safe demarshalling in the checker.	Pierre-Marie Pédrot	2017-11-28
\| \| \| \| \| \|	Instead of relying on the OCaml demarshaller, which is not resilient against ill-formed data, we reuse the safe demarshaller from votour. This ensures that garbage files do not trigger memory violations.
*	Use large arrays in the checker demarshaller.	Pierre-Marie Pédrot	2017-11-28
\| \| \| \| \|	This allows to work around the size limitation of vanilla OCaml arrays on 32-bit platforms, which is rather easy to hit.
*	[votour] Fix/disable warnings.	Emilio Jesus Gallego Arias	2017-05-26
\|
*	[votour] Fix build with -safe-string (bug 5553)	Emilio Jesus Gallego Arias	2017-05-26
\|
*	Adding a more efficient representation of OCaml objects in votour.	Pierre-Marie Pédrot	2015-06-25