Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Tildes back in ~random parameter in Hashtbl.create | John Whitington | 2020-08-03 | 1 | -1/+1 |
* | Remove unneeded comment, typo | John Whitington | 2020-08-01 | 1 | -2/+2 |
* | Fix label warnings | John Whitington | 2020-07-31 | 1 | -1/+1 |
* | Check-typo and indenting all done | John Whitington | 2020-07-31 | 1 | -4/+16 |
* | More patch indenting | John Whitington | 2020-07-31 | 1 | -2/+2 |
* | Better indentation for moreLabels.mli patches | John Whitington | 2020-07-31 | 4 | -12/+12 |
* | Better, simpler, removal of unix type aliases | John Whitington | 2020-07-30 | 1 | -53/+5 |
* | Labeled and unlabeled @sinces automatically | John Whitington | 2020-07-30 | 1 | -5/+19 |
* | Tildes back in labeled modules | John Whitington | 2020-07-29 | 1 | -3/+3 |
* | Tilde removal in place. Now will put them back in. | John Whitington | 2020-07-29 | 1 | -46/+55 |
* | Fix tools/unlabel to deal with Hashtbl injectivity | John Whitington | 2020-07-27 | 1 | -1/+1 |
* | Merge branch 'trunk' into trunk | John Whitington | 2020-07-27 | 8 | -822/+14 |
|\ | |||||
| * | Reorganize release info | Florian Angeletti | 2020-07-26 | 2 | -628/+0 |
| * | Merge pull request #9657 from nojb/warning_mnemonics | Gabriel Scherer | 2020-07-21 | 1 | -1/+1 |
| |\ | |||||
| | * | Adapt caml-tex | Nicolás Ojeda Bär | 2020-07-20 | 1 | -1/+1 |
| * | | Test "no naked pointers" along with "flambda" | Xavier Leroy | 2020-07-20 | 1 | -1/+2 |
| |/ | |||||
| * | Fix "main" CI script w.r.t. macOS | Xavier Leroy | 2020-07-14 | 1 | -0/+3 |
| * | Merge pull request #9551 from nojb/microbfd | Xavier Leroy | 2020-07-14 | 5 | -194/+10 |
| |\ | |||||
| | * | Remove integration with libbfd | Nicolás Ojeda Bär | 2020-07-02 | 3 | -170/+1 |
| | * | make alldepend | Nicolás Ojeda Bär | 2020-07-02 | 1 | -4/+4 |
| | * | Adapt ocamlobjinfo | Nicolás Ojeda Bär | 2020-07-02 | 1 | -20/+5 |
* | | | Allow tools/unlabel to run from anywhere | David Allsopp | 2020-07-27 | 1 | -39/+46 |
* | | | Check that tools/unlabel is a no-op in CI | David Allsopp | 2020-07-27 | 1 | -0/+22 |
* | | | Match documentation and labels | John Whitington | 2020-07-19 | 1 | -1/+0 |
* | | | Generate moreLabels.mli programatically | John Whitington | 2020-07-18 | 5 | -2/+53 |
* | | | Make hashtbl.mli / set.mli / map.mli from labeled | John Whitington | 2020-07-18 | 1 | -0/+21 |
* | | | Check-typo fix | John Whitington | 2020-07-18 | 1 | -1/+0 |
* | | | Unify unixLabels.mli / unix.mli via tools/unlabel | John Whitington | 2020-07-17 | 1 | -1/+61 |
* | | | More check-typo fixes | John Whitington | 2020-07-08 | 1 | -4/+8 |
* | | | Fixes per travis check-typo and travis changes | John Whitington | 2020-07-08 | 1 | -2/+15 |
* | | | Unify labeled and unlabeled Standard Library modules | John Whitington | 2020-07-07 | 1 | -0/+11 |
|/ / | |||||
* | | Merge pull request #9712 from Octachron/version_format | Florian Angeletti | 2020-07-03 | 1 | -1/+1 |
|\ \ | |/ |/| | |||||
| * | Update version format | octachron | 2020-07-02 | 1 | -1/+1 |
* | | Bump FlexDLL submodule to 0.38 | David Allsopp | 2020-06-29 | 1 | -2/+2 |
* | | CI: make "light" test lighter | Xavier Leroy | 2020-06-25 | 1 | -0/+1 |
* | | Merge pull request #9692 from nojb/shellquote | David Allsopp | 2020-06-23 | 1 | -7/+0 |
|\ \ | |||||
| * | | Get rid of shellquote macro | Nicolás Ojeda Bär | 2020-06-17 | 1 | -7/+0 |
* | | | Fix inria/extra-checks CI job | Sébastien Hinderer | 2020-06-22 | 1 | -2/+3 |
* | | | Build system: simplify installation rules | Sébastien Hinderer | 2020-06-18 | 1 | -10/+7 |
* | | | Add the $(EXE) suffix to all programs at build rather than install time | Sébastien Hinderer | 2020-06-18 | 3 | -66/+82 |
* | | | tools/Makefile: stop considering ocamldep and cvt_emit as precious | Sébastien Hinderer | 2020-06-18 | 1 | -12/+2 |
* | | | tools/ocamlmktop.ml: make use of the configured extension of executalbes | Sébastien Hinderer | 2020-06-18 | 2 | -3/+4 |
* | | | objinfo: take possible .exe extension into account when calling objinfo_helper | Sébastien Hinderer | 2020-06-18 | 1 | -1/+2 |
* | | | objinfo_helper: slightly generalise usage message | Sébastien Hinderer | 2020-06-18 | 1 | -1/+1 |
| |/ |/| | |||||
* | | Merge pull request #9625 from dra27/warn-error | David Allsopp | 2020-06-10 | 1 | -7/+4 |
|\ \ | |||||
| * | | Add --enable-warn-error | David Allsopp | 2020-06-01 | 1 | -7/+4 |
* | | | Remove two oldish scripts (#9656) | Sébastien Hinderer | 2020-06-09 | 2 | -192/+0 |
* | | | Fix tools/check-typo for mawk 1.3.4 (#9644) | David Allsopp | 2020-06-05 | 1 | -3/+2 |
| |/ |/| | |||||
* | | Inria CI: also test LibBFD support on FreeBSD | Sébastien Hinderer | 2020-06-04 | 1 | -1/+1 |
* | | Fix load path ordering (#9611) | Nicolás Ojeda Bär | 2020-06-03 | 1 | -3/+2 |