aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/nativelib.mli
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Make -print-mod-uid accept a list of files.Gravatar Maxime Dénès2015-01-15
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fix for #3154: use CUnix.sys_command to call native compiler.Gravatar Maxime Dénès2014-12-16
* Fix native_compute for systems with a limited size for the command line.Gravatar Guillaume Melquiond2014-05-22
* Native compiler: hide compiled files in a .coq-native subdirectory.Gravatar Maxime Dénès2014-04-29
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22