aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativelib.ml
AgeCommit message (Expand)Author
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-13Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-08Be more verbose about failure to compile libraries to native code.Guillaume Melquiond
2015-07-18Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-10Native compiler: make non-fatal linking errors silent except in debug mode.Maxime Dénès
2015-07-09Improve semantics of -native-compiler flag.Maxime Dénès
2015-06-22Merge remote-tracking branch 'forge/v8.5'Pierre Boutillier
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-06-15Native compiler: do not catch exceptions not related to dynlink.Maxime Dénès
2015-05-17Fixing bug #4201: The native compiler is not race-free.Pierre-Marie Pédrot
2015-02-04Nativelib: catch Unix_error (like no ocamlopt found)Enrico Tassi
2015-01-13Native compiler: if debug flag not present, remove .native files.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-12-16Fix for #3154: use CUnix.sys_command to call native compiler.Maxime Dénès
2014-11-10Better printing of dynlink errors in native compiler.Maxime Dénès
2014-06-16Preemptively remove files from native compilation.Guillaume Melquiond
2014-05-22Fix native_compute for systems with a limited size for the command line.Guillaume Melquiond
2014-04-29Native compiler: hide compiled files in a .coq-native subdirectory.Maxime Dénès
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2013-12-29Avoid generating .ml files in native compiler.Maxime Dénès
2013-10-28Native compiler: library compilation errors are now non fatal.mdenes
2013-08-22Misc changes around coqtop.ml :letouzey
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 8)letouzey
2013-02-24Reduced the noise level when dynlinking in bytecode mode or whenmdenes
2013-01-28Uniformization of the "anomaly" command.ppedrot
2013-01-24Native compiler: warnings were not turned off for OCaml 3.11mdenes
2013-01-22New implementation of the conversion test, using normalization by evaluation tomdenes
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:53:12 +0000