coq - The formal proof system

Age	Commit message (Expand)	Author
2015-07-10	Native compiler: make non-fatal linking errors silent except in debug mode.	Maxime Dénès
2015-07-09	Improve semantics of -native-compiler flag.	Maxime Dénès
2015-06-15	Native compiler: do not catch exceptions not related to dynlink.	Maxime Dénès
2015-05-17	Fixing bug #4201: The native compiler is not race-free.	Pierre-Marie Pédrot
2015-02-04	Nativelib: catch Unix_error (like no ocamlopt found)	Enrico Tassi
2015-01-13	Native compiler: if debug flag not present, remove .native files.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-12-16	Fix for #3154: use CUnix.sys_command to call native compiler.	Maxime Dénès
2014-11-10	Better printing of dynlink errors in native compiler.	Maxime Dénès
2014-06-16	Preemptively remove files from native compilation.	Guillaume Melquiond
2014-05-22	Fix native_compute for systems with a limited size for the command line.	Guillaume Melquiond
2014-04-29	Native compiler: hide compiled files in a .coq-native subdirectory.	Maxime Dénès
2014-03-05	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey
2013-12-29	Avoid generating .ml files in native compiler.	Maxime Dénès
2013-10-28	Native compiler: library compilation errors are now non fatal.	mdenes
2013-08-22	Misc changes around coqtop.ml :	letouzey
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey
2013-02-24	Reduced the noise level when dynlinking in bytecode mode or when	mdenes
2013-01-28	Uniformization of the "anomaly" command.	ppedrot
2013-01-24	Native compiler: warnings were not turned off for OCaml 3.11	mdenes
2013-01-22	New implementation of the conversion test, using normalization by evaluation to	mdenes