aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/nativelambda.ml
Commit message (Expand)AuthorAge
* Native compiler: hash-consing of generated code and values.Gravatar mdenes2013-03-25
* invalid_arg instead of raise (Invalid_argement ...)Gravatar letouzey2013-03-12
* More monomorphization.Gravatar ppedrot2013-03-05
* kernel/declarations becomes a pure mliGravatar letouzey2013-02-26
* Fixing bug in native compiler with let patterns in fixpoint definitions.Gravatar mdenes2013-02-11
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22