{"push_id":745638857,"size":71,"distinct_size":1,"ref":"refs/heads/ppc64","head":"cf87a2c6640e33100177ba66d8a8c10c1ecbde33","before":"7b80ca25814314f4dd5b96e96508a95121c1d85d","commits":[{"sha":"26ee828e18d0f8f0090373e33892c03967ec2a27","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"Experiment: slightly more precise types for C-- variables and Mach registers.\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/branches/cmm-mach-types@15567 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/26ee828e18d0f8f0090373e33892c03967ec2a27"},{"sha":"ac02f56351c5eb04479963cb27f72ba250d04113","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"More precise typing at the C-- and Mach level:\n- Register type \"Addr\" is split into\n    . \"Val\" (well-formed OCaml values, appropriate as GC roots)\n    . \"Addr\" (derived pointers within the heap, must not survive a GC)\n- memory_chunk \"Word\" is split into\n    . \"Word_val\" (OCaml value)\n    . \"Word_int\" (native-sized integer, not a pointer into the heap)\n\nCmmgen was updated to use Word_val or Word_int as appropriate.\n\nApplication #1: fail at compile-time if a derived pointer within the heap\nsurvives a GC point (cf. PR#6484).\n\nApplication #2: CSE can do a better job across allocation points\n(keep factoring expressions of type Int, Val, Float, but not Addr).\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/branches/cmm-mach-types@15568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/ac02f56351c5eb04479963cb27f72ba250d04113"},{"sha":"0a1a5b0e28d7788982c8ae159ec727b13e4d0187","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"Don't forget that allocations can run arbitrary Caml code (via signal handlers, etc).  Hence, equations involving loads must be erased across allocations.\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/branches/cmm-mach-types@15569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/0a1a5b0e28d7788982c8ae159ec727b13e4d0187"},{"sha":"ec1ba73399cafc6c19ac68fefbc876e16a045d8a","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"Prudently revert the type of \"Cconst_symbol\" to typ_val instead of typ_int.\nThere seems to be issues with let-bound variables initialized with symbol\naddresses and later updated.\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/branches/cmm-mach-types@15572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/ec1ba73399cafc6c19ac68fefbc876e16a045d8a"},{"sha":"bb06fe030f0170fa138071d85e50a9e8fe12bc29","author":{"email":"9d60f503b7b50623e0aab5369688d7efda909fca","name":"Damien Doligez"},"message":"fix merge regression on nonrec\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/bb06fe030f0170fa138071d85e50a9e8fe12bc29"},{"sha":"6a693425d5d614a7e75a5c5aa6514538eaca0a6e","author":{"email":"9d60f503b7b50623e0aab5369688d7efda909fca","name":"Damien Doligez"},"message":"tell GCC to use only ASCII in its warnings and errors\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16233 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/6a693425d5d614a7e75a5c5aa6514538eaca0a6e"},{"sha":"5afcc281dd574df6d02c0443191bdadef0434824","author":{"email":"9d60f503b7b50623e0aab5369688d7efda909fca","name":"Damien Doligez"},"message":"remove redundant -O option from C compiler arguments\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/5afcc281dd574df6d02c0443191bdadef0434824"},{"sha":"3e17d04ef0a515343e6888adb7e16a39db32ab44","author":{"email":"9d60f503b7b50623e0aab5369688d7efda909fca","name":"Damien Doligez"},"message":"PR#6931: Incorrect error message\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/3e17d04ef0a515343e6888adb7e16a39db32ab44"},{"sha":"844b1af40cd8f8b5db6f8c02d9441ba6f2c44552","author":{"email":"9d60f503b7b50623e0aab5369688d7efda909fca","name":"Damien Doligez"},"message":"PR#6915: Mingw-w64 has moved to mingw-w64.org\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16237 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/844b1af40cd8f8b5db6f8c02d9441ba6f2c44552"},{"sha":"a1bafbbb6723ae937e2553af43df5a04e281c8d8","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"PR#6316: Scanf.scanf failure on %u formats when reading big integers.\n\nThe approach implemented is the second one suggested by Benoît Vaugon in the PR:\n- The int_of_string functions accept a \"0u\" prefix meaning \"decimal unsigned\".\n- The '%u' format of the scanf functions adds this \"0u\" prefix before conversion.\nThis is consistent with the current handling of unsigned hexa, octal, and binary numbers.\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/a1bafbbb6723ae937e2553af43df5a04e281c8d8"},{"sha":"4e9bf58e9092ccccce8841862e3d4a8ab0c4f34d","author":{"email":"8450103c06dbd58add9d047d761684096ac560ca@frisch.fr","name":"Alain Frisch"},"message":"Typo.\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/4e9bf58e9092ccccce8841862e3d4a8ab0c4f34d"},{"sha":"58c07fa89ec6546cea911f1d2e7803fd7aa75de9","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":" PR#6722: compatibility with x32 architecture (x86-64 in ILP32 mode)\n\nconfigure: deselect ocamlopt, which is not supported\nsignals_machdep.h: use i386 instruction sequence, not amd64.\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/58c07fa89ec6546cea911f1d2e7803fd7aa75de9"},{"sha":"60384ed840889c89c5b69418da557bf574dab9d2","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"For read-and-clear, use GCC/Clang atomic builtins if available.\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/60384ed840889c89c5b69418da557bf574dab9d2"},{"sha":"49a2533472c9f5a0eb531b5f96145816e1f3536e","author":{"email":"8450103c06dbd58add9d047d761684096ac560ca@frisch.fr","name":"Alain Frisch"},"message":"PR#6902, GPR#210: runtime emits a warning when finalizing an I/O channel which is still open.\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/49a2533472c9f5a0eb531b5f96145816e1f3536e"},{"sha":"f29322000e375c0e4a90409caf96fd37458117a9","author":{"email":"8450103c06dbd58add9d047d761684096ac560ca@frisch.fr","name":"Alain Frisch"},"message":"Text.\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16246 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/f29322000e375c0e4a90409caf96fd37458117a9"},{"sha":"af4e6bff9114fdb08d630a1a63f63660484f79d8","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"PR#6896: serious reimplementation of Big_int.float_of_big_int and\n  Ratio.float_of_ratio, ensuring that the result is correctly rounded.\n\nThe previous implementations were embarassingly imprecise and slow.\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/af4e6bff9114fdb08d630a1a63f63660484f79d8"},{"sha":"f9176a1e263a7228e0d6827f020918502f0fcc67","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"Follow-up to r16247: garbled comment.\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/f9176a1e263a7228e0d6827f020918502f0fcc67"},{"sha":"8fc4849b83b84a3447ad922e71cca9c350b02d69","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"big_int.ml: clarify comments.\n\ntest_ratios.ml: on x86-32 with x87 extended precision, the computation of the expected result is sometimes wrong because of double rounding in FP division.  Reduce the number of test rounds so that we don't run into this problem.  Note that the float_of_ratio function being tested produces the correct results on x86-x87, because it is immune to double rounding (exact -> extended precision -> double precision).\n\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/8fc4849b83b84a3447ad922e71cca9c350b02d69"},{"sha":"907305ce20b79489768717aa32c3f3a91cd85752","author":{"email":"1912fc14072add306a707dab97c91935b2c8582d@gmail.com","name":"Gabriel Scherer"},"message":"PR#6938: fix regression on \"%047.27{l,L,n}{d,i,x,X,o,u}\"\n\n(Benoît Vaugon, report by Arduino Cascella)\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/907305ce20b79489768717aa32c3f3a91cd85752"},{"sha":"7d1f7af832ec647cc6984365061bd97561a90d29","author":{"email":"1912fc14072add306a707dab97c91935b2c8582d@gmail.com","name":"Gabriel Scherer"},"message":"fix \"compatibility macros for runtime constants that recently changed names\" (svn id: 16008 ; git commit: 8c1f0cff)\n\n(Thomas Refis)\n\nThe constants weren't just renammed: they previously denoted a size in bytes,\nthey now denote a size in words.\n\ngit-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02","distinct":false,"url":"https://api.github.com/repos/ocaml/ocaml/commits/7d1f7af832ec647cc6984365061bd97561a90d29"}]}