summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* The result file was renamed.faster-testsuiteXavier Leroy2015-09-282-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/faster-testsuite@16447 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Simpler, less time-consuming, hopefully robust test suite for threads.Xavier Leroy2015-09-2874-20959/+211
| | | | | | | | | Not tested under Windows. Some tests are still timing-sensitive and could fail if the test machine is under very heavy load. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/faster-testsuite@16446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Experiment: reduce the time it takes to run the test suite.Xavier Leroy2015-09-2220-5324/+117
| | | | | | | | For some tests, we reduce the size of the data sets. For some other tests that started as benchmarks, we avoid repeating the test needlessly. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/faster-testsuite@16440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Experiment: reduce the time it takes to run the test suiteXavier Leroy2015-09-222432-0/+408298
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/faster-testsuite@16439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Consistently quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16436 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Consistently quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Consistently quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-20/+20
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Properly quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-9/+9
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16433 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Linking order for module Weak has changed.Pierre Weis2015-09-213-0/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Module Weak is used in module Scanf. It is now linked just after module Hashtbl.Pierre Weis2015-09-211-2/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16431 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Scanning.from_channel now uses a weak hash table to record in_channel -> ↵Pierre Weis2015-09-211-5/+22
| | | | | | | | | | | | scanbuf associations. This should prevent memory leaks in program that intensively call Scanf.fscanf. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Renaming: flush_buf_formatter into flush_buffer_formatter.Pierre Weis2015-09-211-38/+48
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | flush_str_formatter rewritten using flush_buffer_formatter. Consistent naming of pretty-printer formatter as ppf not strange x or o parameters. Function ksprintf purposedly defines a new continuation embedding the old one. Function asprintf rewritten in a more natural way; spurious pp_flush_queue deleted in the conitnuation, since it is already done via following flush_buffer_formatter call. Indent. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16429 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Add test case from PR#6992Jacques Garrigue2015-09-181-0/+15
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6992Jacques Garrigue2015-09-182-24/+31
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6993: allow recursive types when doing unification on GADT indicesJacques Garrigue2015-09-184-2/+31
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Makefile.nt: clean up recursive calls to makeDamien Doligez2015-09-141-8/+8
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * asmcomp/arm/proc.ml: fix missing parenthesis due to commit 16415Damien Doligez2015-09-141-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * fix configure error for PARTIALLD on PowerPCDamien Doligez2015-09-131-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Bug in function check_char corrected: instead of only accepting \r\n as a newPierre Weis2015-09-131-47/+75
| | | | | | | | | | | | | | | | | | | | | | | | | | line, it accepted any amount of \r followed by \n. Float scanning code revisited, commenting the code and avoiding side effect in function application. Type file_name now used to define in_channel_name, hence its definition goes before in_channel_name. open/close_in --> Pervasives.open/close_in when necessary. Indentation revisited. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Escaping " in character constantsPierre Weis2015-09-132-3/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Code aesthetics: do not confuse labels and regular idents.Pierre Weis2015-09-131-5/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16419 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * asmcomp/power/proc.ml: fix missing parenthesis due to commit 16415Damien Doligez2015-09-111-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * #6195: use compilerlibs for read_cmt tool.Alain Frisch2015-09-111-35/+7
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-11170-5814/+1402
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#6979: better code generation in x86-32 backend for copying floats to the ↵Alain Frisch2015-09-102-2/+9
| | | | | | | | | | | | stack (Marc Lasson, review by Xavier Leroy). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6985Jacques Garrigue2015-09-103-0/+13
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6944Jacques Garrigue2015-09-093-2/+8
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * partial fix of PR#5780Jacques Garrigue2015-09-0914-42/+47
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6982Jacques Garrigue2015-09-093-0/+29
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Use [intnat] instead of [long] in tests/unboxed-primitive-argsJérémie Dimino2015-09-082-10/+10
| | | | | | | | | | | | Because sizeof(long)=4 on Win64. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Avoid generating huge files in tests/unboxed-primitive-argsJérémie Dimino2015-09-081-1/+8
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add create_float_array and deprecate make_float_arrayDamien Doligez2015-09-071-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add create_float_array and deprecate make_float_arrayDamien Doligez2015-09-073-7/+18
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Typos in comments.Pierre Weis2015-08-281-4/+10
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Correcting various typos in documentation.Pierre Weis2015-08-281-13/+14
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix compilation of the unboxed-primitive-args test on arm32Jérémie Dimino2015-08-262-20/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Update changelog for GPR#167Jérémie Dimino2015-08-251-0/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Support passing unboxed int64 between OCaml and C on ppc32Jérémie Dimino2015-08-251-29/+90
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Update callilng convention on ppc64Jérémie Dimino2015-08-251-1/+4
| | | | | | | | | | | | | | On ppc64 (v1 & v2) passing a float argument to a C function must reserve a normal register. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Support Val in the sparc/emit.mlpJérémie Dimino2015-08-251-5/+5
| | | | | | | | | | | | Not tested, but without it just can't compile anything git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Update sparc backend for unboxed primitive arguments/resultsJérémie Dimino2015-08-252-15/+41
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Allow unboxing of int64 constants on 32 bit targetsJérémie Dimino2015-08-251-2/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Add a test for int64 unboxingJérémie Dimino2015-08-254-0/+79
| | | | | | | | | | | | | | Especially, test that unboxing of int64 works correctly on 32 bit platforms. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Add typing tests for [@unboxed] and [@untagged]Jérémie Dimino2015-08-253-0/+238
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Add tests for [@unboxed] and [@untagged]Jérémie Dimino2015-08-258-0/+724
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Allow tests to be native code onlyJérémie Dimino2015-08-252-8/+16
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Split 64-bit integers on 32-bit architecturesJérémie Dimino2015-08-257-44/+159
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Refactor Cmmgen.subst_boxed_numberJérémie Dimino2015-08-251-59/+84
| | | | | | | | | | | | To make it easier to deal with special cases (int64 on 32 bit target). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Update printing of externals with [@unboxed] or [@untagged] attributesJérémie Dimino2015-08-255-10/+43
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Support [@unboxed] and [@untagged] attributesJérémie Dimino2015-08-2517-131/+324
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Adding [@unboxed] (resp [@untagged]) on a primitive argument means that the argument must passed unboxed (resp untagged) to the external function. Adding [@unboxed] (resp [@untagged]) on the result means that the external function returns its result unboxed (resp untagged). The unboxing (resp untagging) method is derived from the type. Currently unboxing is suported for: float, int32, int64 and nativeint. Untagging is supported for int. This patch also increases the cm{i,o,a,x,xa} magic numbers as the type Primitive.description is changed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status