delta/ocaml.git/testsuite/tests/lib-num, branch remove-libnum

Remove otherlibs/num

2017-08-19T08:03:00+00:00

Continuing a general effort, this commit removes the "num" library for arbitrary-precision arithmetic from the core OCaml system.  A standalone distribution of this library already exists and is hosted at https://github.com/ocaml/num

Fix testsuite when configured with -safe-string (#819)

2016-12-14T13:14:21+00:00

Remove copyright notices in test files.

2016-05-03T11:37:48+00:00

It is preferred that no copyright notice appears in these files.

The list of files to modify has been obtained with the following command:

    ocaml/testsuite/tests$ find . -name '*.ml*' \
    | xargs grep -l -i copyright \
    > test-files-with-copyright-header

Update headers for the new license.

2016-02-18T15:59:16+00:00

Remains to be done: remove all headers in testsuite/tests.

Translation of french comments in testsuite

2015-10-09T20:41:49+00:00

(user 'octachron')

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

whitespace cleanup, cut long lines, add some missing headers

2015-09-11T11:58:31+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

PR#6649, GPR#222: accept (int_of_string "+3")

2015-08-02T13:32:44+00:00

(Christopher McAlpine)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

float_of_big_int: for negative arguments, the top 55 bits must round towards -inf, otherwise wrong rounding occurs. Hence, use shift_right_big_int and not shift_right_towards_zero_big_int.

2015-07-28T07:49:50+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

big_int.ml: clarify comments.

2015-07-25T15:25:01+00:00

test_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).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

PR#6896: serious reimplementation of Big_int.float_of_big_int and

2015-07-24T17:44:12+00:00

  Ratio.float_of_ratio, ensuring that the result is correctly rounded.

The previous implementations were embarassingly imprecise and slow.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02