coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Native compiler: hash-consing of generated code and values.	mdenes	2013-03-25
*	invalid_arg instead of raise (Invalid_argement ...)	letouzey	2013-03-12
*	More monomorphization.	ppedrot	2013-03-05
*	kernel/declarations becomes a pure mli	letouzey	2013-02-26
*	Fixing bug in native compiler with let patterns in fixpoint definitions.	mdenes	2013-02-11
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22