| .. |
|
ci
|
tools/ci/inria/extra-checks: use git clean rather than make distclean
|
2019-08-06 14:47:07 +02:00 |
|
.depend
|
Remove the scrapelabels and addlabels tools
|
2019-05-07 11:49:44 +02:00 |
|
Makefile
|
Remove the scrapelabels and addlabels tools
|
2019-05-07 11:49:44 +02:00 |
|
caml_tex.ml
|
Delete the vmthreads library (#2289)
|
2019-03-11 19:38:16 +01:00 |
|
check-parser-uptodate-or-warn.sh
|
Improve shell scripts (#1690)
|
2019-06-19 16:15:02 +02:00 |
|
check-symbol-names
|
shebangs: use `/usr/bin/env bash` instead of `/bin/bash` for BSD compat
|
2018-10-16 09:06:16 +02:00 |
|
check-typo
|
Ensure that files marked executable are #! scripts
|
2019-03-27 10:32:40 +00:00 |
|
check-typo-since
|
add a variant of check-typo to compare against a git reference
|
2018-12-09 13:31:26 +00:00 |
|
checkstack.c
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
cmpbyt.ml
|
cmpbyt: return 1 rather than 2 to report file difference.
|
2016-06-20 11:01:42 +02:00 |
|
cmt2annot.ml
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
cvt_emit.mll
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
dumpobj.ml
|
Just some tbl things. (#1699)
|
2018-07-23 13:19:41 +01:00 |
|
dune
|
Provide a way to build the bytecode compiler using Dune (#2093)
|
2018-10-10 16:16:00 +01:00 |
|
eqparsetree.ml
|
Add locations to toplevel directives
|
2018-08-06 11:06:30 +01:00 |
|
gdb-macros
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
lintapidiff.ml
|
Just some tbl things. (#1699)
|
2018-07-23 13:19:41 +01:00 |
|
magic
|
renaming of Objective Caml to OCaml and cleanup of copyright headers
|
2011-07-27 14:17:02 +00:00 |
|
make-package-macosx
|
Merge tag 4.03.0 into trunk.
|
2016-04-28 16:13:21 +02:00 |
|
make-version-header.sh
|
Improve shell scripts (#1690)
|
2019-06-19 16:15:02 +02:00 |
|
make_opcodes.mll
|
Correct licence for tools/make_opcodes.mll
|
2017-10-25 23:54:39 +01:00 |
|
mantis2gh_stripped.csv
|
Add CSV file with Mantis=>GitHub renumbering information
|
2019-03-15 00:01:48 +01:00 |
|
markdown-add-pr-links.sh
|
add a minor script to turn ASCII references into Markdown links
|
2018-10-28 11:29:17 +01:00 |
|
msvs-promote-path
|
shebangs: use `/usr/bin/env bash` instead of `/bin/bash` for BSD compat
|
2018-10-16 09:06:16 +02:00 |
|
objinfo.ml
|
Improve the packing mechanism used to build Dynlink (#2268)
|
2019-03-19 10:26:35 +00:00 |
|
objinfo_helper.c
|
Move configuration header files from the config to the byterun/caml directory
|
2017-04-26 19:28:17 +02:00 |
|
ocaml-instr-graph
|
shebangs: use `/usr/bin/env bash` instead of `/bin/bash` for BSD compat
|
2018-10-16 09:06:16 +02:00 |
|
ocaml-instr-report
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
ocaml-objcopy-macosx
|
shebangs: use `/usr/bin/env bash` instead of `/bin/bash` for BSD compat
|
2018-10-16 09:06:16 +02:00 |
|
ocamlcp.ml
|
Introduce the -without-runtime option.
|
2019-05-06 14:35:57 +02:00 |
|
ocamldep.ml
|
New -depend option for ocamlc/ocamlopt
|
2017-06-01 15:56:30 +02:00 |
|
ocamlmklib.ml
|
MPR#3249: ocamlmklib does not support .cmxa files as arguments (#8512)
|
2019-03-18 09:11:36 +01:00 |
|
ocamlmktop.ml
|
fix quoting inside ocamlmktop (win32) (#771)
|
2016-08-19 17:32:24 +01:00 |
|
ocamloptp.ml
|
Introduce the -without-runtime option.
|
2019-05-06 14:35:57 +02:00 |
|
ocamlprof.ml
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
|
ocamlsize
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
pre-commit-githook
|
Quote directories in pre-commit hook
|
2019-03-27 10:32:40 +00:00 |
|
primreq.ml
|
Just some tbl things. (#1699)
|
2018-07-23 13:19:41 +01:00 |
|
profiling.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
profiling.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
read_cmt.ml
|
Delete the vmthreads library (#2289)
|
2019-03-11 19:38:16 +01:00 |
|
release-checklist
|
release-checklist: be more explicit about how to update the year in the manual
|
2019-08-01 11:36:33 +02:00 |
|
stripdebug.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
8c1107d910