.. |
compenv.ml
|
Add Compenv.stop_early flag
|
2019-11-04 11:36:41 +00:00 |
compenv.mli
|
Add Compenv.stop_early flag
|
2019-11-04 11:36:41 +00:00 |
compile.ml
|
Remove support for compiler plugins (#2276)
|
2019-03-13 11:46:37 +01:00 |
compile.mli
|
driver: consistently use _ as word separator
|
2019-01-04 17:56:12 +01:00 |
compile_common.ml
|
Remove support for compiler plugins (#2276)
|
2019-03-13 11:46:37 +01:00 |
compile_common.mli
|
Compile_common: turn `init` into continuation-passing `with_info`
|
2019-01-05 12:12:20 +01:00 |
compmisc.ml
|
Update issue numbers in comments after Mantis -> Github migration. (#8505)
|
2019-03-18 09:42:23 +00:00 |
compmisc.mli
|
Delete the vmthreads library (#2289)
|
2019-03-11 19:38:16 +01:00 |
errors.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
errors.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
main.ml
|
Add Compenv.stop_early flag
|
2019-11-04 11:36:41 +00:00 |
main.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
main_args.ml
|
Add Compenv.stop_early flag
|
2019-11-04 11:36:41 +00:00 |
main_args.mli
|
Warn about unused functor parameters (#8891)
|
2019-10-14 11:11:01 +01:00 |
makedepend.ml
|
Fixing misspellings
|
2019-05-21 10:23:27 +02:00 |
makedepend.mli
|
New -depend option for ocamlc/ocamlopt
|
2017-06-01 15:56:30 +02:00 |
optcompile.ml
|
Move some code from Asmgen to the middle end directory etc. (#2288)
|
2019-05-10 15:11:22 +02:00 |
optcompile.mli
|
Move some middle-end files around (#2281)
|
2019-04-01 17:18:47 +01:00 |
opterrors.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
opterrors.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
optmain.ml
|
Add Compenv.stop_early flag
|
2019-11-04 11:36:41 +00:00 |
optmain.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
pparse.ml
|
Remove support for compiler plugins (#2276)
|
2019-03-13 11:46:37 +01:00 |
pparse.mli
|
Remove support for compiler plugins (#2276)
|
2019-03-13 11:46:37 +01:00 |