aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/nativelibrary.ml
Commit message (Expand)AuthorAge
* Native compiler: hash-consing of generated code and values.Gravatar mdenes2013-03-25
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22