Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | MPR#7591, GPR#1257: Update Changelogpr7591 | Xavier Leroy | 2017-07-22 | 1 | -0/+3 |
| | |||||
* | MPR#7591: frametable not 8-aligned on x86-64 port | Xavier Leroy | 2017-07-22 | 1 | -1/+2 |
| | | | | | | | | | | Misalignment was due to the "D.long (const 0)" emitted just before the frametable, which sets the data pointer to 4 mod 8. Looks like someone cut-and-pasted from i386 to amd64 without thinking. This commit fixes the bug twice (because belt and suspenders and all that) in two obvious ways: - the data terminator D.long becomes D.qword - explicit 8-alignment is requested before emitting the frame table. (Mental note: why is the frame table in the data segment and not in a readonly data segment?) | ||||
* | Merge pull request #1256 from jacquev6/trunk | Florian Angeletti | 2017-07-21 | 1 | -2/+2 |
|\ | | | | | Reference manual: fix grammar in Language extensions | ||||
| * | Reference manual: fix grammar in Language extensions | Vincent Jacques | 2017-07-21 | 1 | -2/+2 |
|/ | | | | No change entry needed | ||||
* | Reference manual: fix syntax errors in grammar | Vincent Jacques | 2017-07-21 | 1 | -3/+3 |
| | |||||
* | Synchronized Pervasives implementation between stdlib and threads | Markus Mottl | 2017-07-21 | 3 | -12/+29 |
| | |||||
* | Disable cplugins feature by default (#1242) | AlexOnWork | 2017-07-20 | 2 | -2/+7 |
| | | | | | | | | * Disable cplugins feature by default * Both --with-cplugins and --no-cplugins configure options * Added Changes entry for GPR#1242 | ||||
* | Merge pull request #1232 from dbuenzli/string-unicode-escapes | Alain Frisch | 2017-07-20 | 6 | -40/+135 |
|\ | | | | | Add Unicode character escape \u{H} to OCaml string literals. | ||||
| * | Merge branch 'trunk' into string-unicode-escapes | Alain Frisch | 2017-07-20 | 82 | -261/+1104 |
| |\ | |/ |/| | |||||
* | | Support 'let open' in class and class type expressions (#1249) | Alain Frisch | 2017-07-20 | 32 | -14/+182 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Support 'let open' in class and class type expressions. * Adapt ocamlprof. * Adapt ocamldoc. * Add tests. * Changelog. * Manual. | ||||
* | | Re-assigning events of a pack of modules to the individual modules of the ↵ | Hugo Herbelin | 2017-07-19 | 2 | -1/+18 |
| | | | | | | | | pack. (#1179) | ||||
* | | ignore and clean up new generated files in tests/typing-multifile | Damien Doligez | 2017-07-19 | 2 | -1/+4 |
| | | |||||
* | | Merge pull request #1241 from gasche/sync-trunk-Changes-with-4.05-Changes | Gabriel Scherer | 2017-07-19 | 1 | -156/+171 |
|\ \ | | | | | | | Changes: synchronize trunk with the 4.05 branch | ||||
| * | | Changes: remove duplicate GPR#795 entry | Gabriel Scherer | 2017-07-19 | 1 | -3/+0 |
| | | | | | | | | | | | | (spotted by Octachron) | ||||
| * | | Changes: consistently use MPR# instead of PR# | Gabriel Scherer | 2017-07-19 | 1 | -33/+35 |
| | | | |||||
| * | | [minor] Changes: GPR#1012 is not compatibility-breaking | Gabriel Scherer | 2017-07-19 | 1 | -1/+1 |
| | | | |||||
| * | | Changes: synchronize with the 4.05 branch | Gabriel Scherer | 2017-07-19 | 1 | -125/+141 |
|/ / | |||||
* | | Try to fix MinGW build. | alainfrisch | 2017-07-19 | 1 | -7/+0 |
| | | |||||
* | | Fix Env.without_cmis (#1223) | Leo White | 2017-07-19 | 7 | -43/+147 |
| | | | | | | | | | | | | | | | | * Fix Env.without_cmis * Add regression test * Add changes entry | ||||
* | | Unix.symlink: support forward slashes in symlink targets under Windows (#1211) | Nicolás Ojeda Bär | 2017-07-19 | 6 | -4/+58 |
| | | | | | | | | | | | | | | | | * Normalize target before calling CreateSymbolicLink * Add Changes entry * Run test only on Windows with symlink permissions | ||||
* | | Merge pull request #1244 from damiendoligez/merge-4.05-into-trunk | Damien Doligez | 2017-07-18 | 20 | -19/+227 |
|\ \ | | | | | | | Merge 4.05 into trunk | ||||
| * | | take @shindere's remarks into account | Damien Doligez | 2017-07-18 | 1 | -2/+2 |
| | | | |||||
| * | | fix up the merge of 4.05 into trunk | Damien Doligez | 2017-07-18 | 14 | -144/+133 |
| | | | |||||
| * | | merge 4.05 into trunk | Damien Doligez | 2017-07-18 | 33 | -148/+367 |
| |\ \ |/ / / | |||||
| * | | PR#7452: tweak GCC options to try to work around the Skylake/Kaby lake bug ↵ | Damien Doligez | 2017-07-12 | 4 | -4/+26 |
| | | | | | | | | | | | | (#1228) | ||||
| * | | Merge pull request #1234 from dra27/minor-fix | Gabriel Scherer | 2017-07-10 | 1 | -0/+2 |
| |\ \ | | | | | | | | | Trivial testsuite fix on Cygwin for CRLF checkouts | ||||
| | * | | Minor fix to Cygwin testsuite on CRLF-checkouts | David Allsopp | 2017-07-10 | 1 | -0/+2 |
| |/ / | |||||
| * | | get rid of compare_val in String.concat | ygrek | 2017-07-08 | 2 | -2/+2 |
| | | | |||||
| * | | Clarify Changes entry for GPR#875 | David Allsopp | 2017-07-06 | 1 | -1/+2 |
| | | | |||||
| * | | increment version number after tagging 4.05.0+rc1 | Damien Doligez | 2017-06-28 | 1 | -1/+1 |
| | | | |||||
| * | | change VERSION for 4.05.0+rc14.05.0+rc1 | Damien Doligez | 2017-06-28 | 4 | -1/+1 |
| | | | |||||
| * | | last commit before tagging 4.05.0+rc1 | Damien Doligez | 2017-06-28 | 9 | -276/+23 |
| | | | |||||
| * | | Some tweaks for MPR#7557 (#1213) | Damien Doligez | 2017-06-28 | 11 | -11/+34 |
| | | | | | | | | | | | | | | | | | | | | | | | | * fall back to __secure_getenv when secure_getenv is not available * use secure_getenv for instrumented runtimes * documentation: warn against setting the setuid or setgid bits on custom bytecode executables | ||||
| * | | cherry-pick the fix for MPR#7557 from 4.04 | Damien Doligez | 2017-06-23 | 19 | -67/+173 |
| | | | |||||
| * | | PR#7511: Unboxed type with unboxed argument should not be accepted (#1133) | Damien Doligez | 2017-06-20 | 5 | -11/+144 |
| | | | |||||
| * | | Ensure testsuite works with OCAMLRUNPARAM=b | David Allsopp | 2017-06-16 | 16 | -8/+35 |
| | | | | | | | | | | | | | | | Ensure that tests which analyse exception messages explicitly disable backtrace printing. | ||||
| * | | Erroneous code transformation at partial applications (MPR#7531) (#1162) | Mark Shinwell | 2017-06-14 | 4 | -4/+287 |
| | | | |||||
| * | | Display backtraces in AppVeyor builds | David Allsopp | 2017-06-14 | 1 | -0/+1 |
| | | | |||||
| * | | Display CPU name in AppVeyor builds | David Allsopp | 2017-06-14 | 1 | -0/+2 |
| | | | | | | | | | | | | Skylake/Kaby Lake microcode bug investigation | ||||
| * | | Fix PR#7348 | Jacques Garrigue | 2017-06-12 | 7 | -15/+80 |
| | | | |||||
| * | | Cherry-pick 27fccad from trunk: | Damien Doligez | 2017-05-29 | 2 | -2/+5 |
| | | | | | | | | | | | | GPR#1150: Fix typo in arm64 caml_alloc3 assembler directives | ||||
| * | | Merge pull request #1177 from dra27/testsuite-tweaks | Gabriel Scherer | 2017-05-25 | 5 | -7/+18 |
| |\ \ | | | | | | | | | Testsuite tweaks | ||||
| | * | | Fix cloexec test on 64-bit Windows | David Allsopp | 2017-05-21 | 2 | -3/+10 |
| | | | | | | | | | | | | | | | | | | | | This test was passing because handles on 64-bit Windows tend to use the low 32-bits only... but there's no guarantee! | ||||
| | * | | Missing @ prefixes in testsuite | David Allsopp | 2017-05-21 | 2 | -2/+2 |
| | | | | |||||
| | * | | Suppress cl output of source file | David Allsopp | 2017-05-21 | 1 | -2/+5 |
| | | | | |||||
| | * | | Don't remove generated .s in tests/asmcomp | David Allsopp | 2017-05-21 | 1 | -0/+1 |
| | | | | |||||
| * | | | Merge pull request #1181 from Octachron/manual_ocamldoc_dead_links | Gabriel Scherer | 2017-05-24 | 2 | -5/+9 |
| |\ \ \ | | |/ / | |/| | | MPR#7539: manual, fix dead links in the ocamldoc chapter | ||||
| | * | | Manual: fix dead links in ocamldoc chapter | octachron | 2017-05-24 | 2 | -5/+9 |
| | | | | |||||
| * | | | Fix tools/ci-build | Sébastien Hinderer | 2017-05-21 | 1 | -4/+4 |
| | | | | | | | | | | | | | | | | No spaces allowed in varialbe assignments. | ||||
| * | | | tools/ci-build: install to a different directory for each build | Sébastien Hinderer | 2017-05-21 | 1 | -0/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit ensures the install directory will be distinct for each build, with the two following motivations: 1. If required, it will make it possible to have several builds running concurrently on the same slave without conflicts between their make install 2. So far, if for any reason make install fails, then the build script gets stopped and the install directory will not be removed. Thus if a future build tries to install to the same directory, its installation could in principle fail, not because it is broken but because the previous build has left the install directory in a corrupted state. So this commit ensures that make install will be done in an empty directory. |