| .. |
|
compenv.ml
|
Move calls to exit to main/optmain
|
2020-06-30 10:57:09 +01:00 |
|
compenv.mli
|
Move calls to exit to main/optmain
|
2020-06-30 10:57:09 +01: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
|
Make the `mark` parameters in `Includemod` non-optional
|
2020-06-25 11:35:00 +01:00 |
|
compile_common.mli
|
Compile_common: turn `init` into continuation-passing `with_info`
|
2019-01-05 12:12:20 +01:00 |
|
compmisc.ml
|
Uid.reinit
|
2020-03-05 14:20:04 +01: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
|
Move code of main and optmain to compilerlibs
|
2020-06-30 10:57:09 +01:00 |
|
main_args.ml
|
Move calls to exit to main/optmain
|
2020-06-30 10:57:09 +01:00 |
|
main_args.mli
|
-dno-locations: hide source locations (and debug events) from IR dumps
|
2020-01-09 15:25:16 +01:00 |
|
maindriver.ml
|
Move code of main and optmain to compilerlibs
|
2020-06-30 10:57:09 +01:00 |
|
maindriver.mli
|
Move code of main and optmain to compilerlibs
|
2020-06-30 10:57:09 +01:00 |
|
makedepend.ml
|
Start Clflags.parse_arguments from 0
|
2020-06-30 10:57:09 +01: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
|
Move code of main and optmain to compilerlibs
|
2020-06-30 10:57:09 +01:00 |
|
optmaindriver.ml
|
Move code of main and optmain to compilerlibs
|
2020-06-30 10:57:09 +01:00 |
|
optmaindriver.mli
|
Move code of main and optmain to compilerlibs
|
2020-06-30 10:57:09 +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 |
088fa01b3e