aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/nativelib.ml
Commit message (Expand)AuthorAge
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar letouzey2013-03-13
* Reduced the noise level when dynlinking in bytecode mode or whenGravatar mdenes2013-02-24
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Native compiler: warnings were not turned off for OCaml 3.11Gravatar mdenes2013-01-24
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22