Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/driver
History
Thomas Refis cae2a7e53c use Timings.source_provenance in more places 2015-12-31 11:00:39 +00:00
..
compenv.ml Record compiler runtime 2015-12-18 13:33:10 +00:00
compenv.mli merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205) 2015-07-17 14:31:05 +00:00
compile.ml Remove last use of Timining.start/stop in {opt,}compile.ml 2015-12-18 13:35:44 +00:00
compile.mli Improved implementation of OCAMLPARAM 2013-06-05 16:34:40 +00:00
compmisc.ml PR#6081: ocaml should add script's directory to search path, not current directory 2015-01-16 22:45:06 +00:00
compmisc.mli PR#6081: ocaml should add script's directory to search path, not current directory 2015-01-16 22:45:06 +00:00
errors.ml Continue. 2013-09-12 15:50:47 +00:00
errors.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
main.ml Avoid using Timings.start/stop 2015-12-18 13:35:44 +00:00
main.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
main_args.ml Record compiler runtime 2015-12-18 13:33:10 +00:00
main_args.mli Record compiler runtime 2015-12-18 13:33:10 +00:00
ocamlcomp.sh.in Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits: 2013-11-29 13:04:38 +00:00
optcompile.ml use Timings.source_provenance in more places 2015-12-31 11:00:39 +00:00
optcompile.mli Improved implementation of OCAMLPARAM 2013-06-05 16:34:40 +00:00
opterrors.ml Continue. 2013-09-12 15:50:47 +00:00
opterrors.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
optmain.ml Avoid using Timings.start/stop 2015-12-18 13:35:44 +00:00
optmain.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
pparse.ml Clean up and time separately parsing and preprocessing 2015-12-18 13:35:44 +00:00
pparse.mli whitespace cleanup, cut long lines, add some missing headers 2015-09-11 11:58:31 +00:00