summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* The result file was renamed.faster-testsuiteXavier Leroy2015-09-282-2/+2
* Simpler, less time-consuming, hopefully robust test suite for threads.Xavier Leroy2015-09-2874-20959/+211
* Experiment: reduce the time it takes to run the test suite.Xavier Leroy2015-09-2220-5324/+117
* Experiment: reduce the time it takes to run the test suiteXavier Leroy2015-09-222432-0/+408298
|\
| * Consistently quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-2/+2
| * Consistently quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-1/+1
| * Consistently quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-20/+20
| * Properly quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-9/+9
| * Linking order for module Weak has changed.Pierre Weis2015-09-213-0/+0
| * Module Weak is used in module Scanf. It is now linked just after module Hashtbl.Pierre Weis2015-09-211-2/+3
| * Scanning.from_channel now uses a weak hash table to record in_channel -> scan...Pierre Weis2015-09-211-5/+22
| * Renaming: flush_buf_formatter into flush_buffer_formatter.Pierre Weis2015-09-211-38/+48
| * Add test case from PR#6992Jacques Garrigue2015-09-181-0/+15
| * Fix PR#6992Jacques Garrigue2015-09-182-24/+31
| * Fix PR#6993: allow recursive types when doing unification on GADT indicesJacques Garrigue2015-09-184-2/+31
| * Makefile.nt: clean up recursive calls to makeDamien Doligez2015-09-141-8/+8
| * asmcomp/arm/proc.ml: fix missing parenthesis due to commit 16415Damien Doligez2015-09-141-1/+1
| * fix configure error for PARTIALLD on PowerPCDamien Doligez2015-09-131-1/+1
| * Bug in function check_char corrected: instead of only accepting \r\n as a newPierre Weis2015-09-131-47/+75
| * Escaping " in character constantsPierre Weis2015-09-132-3/+3
| * Code aesthetics: do not confuse labels and regular idents.Pierre Weis2015-09-131-5/+5
| * asmcomp/power/proc.ml: fix missing parenthesis due to commit 16415Damien Doligez2015-09-111-1/+1
| * #6195: use compilerlibs for read_cmt tool.Alain Frisch2015-09-111-35/+7
| * whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-11170-5814/+1402
| * PR#6979: better code generation in x86-32 backend for copying floats to the s...Alain Frisch2015-09-102-2/+9
| * Fix PR#6985Jacques Garrigue2015-09-103-0/+13
| * Fix PR#6944Jacques Garrigue2015-09-093-2/+8
| * partial fix of PR#5780Jacques Garrigue2015-09-0914-42/+47
| * Fix PR#6982Jacques Garrigue2015-09-093-0/+29
| * Use [intnat] instead of [long] in tests/unboxed-primitive-argsJérémie Dimino2015-09-082-10/+10
| * Avoid generating huge files in tests/unboxed-primitive-argsJérémie Dimino2015-09-081-1/+8
| * add create_float_array and deprecate make_float_arrayDamien Doligez2015-09-071-1/+1
| * add create_float_array and deprecate make_float_arrayDamien Doligez2015-09-073-7/+18
| * Typos in comments.Pierre Weis2015-08-281-4/+10
| * Correcting various typos in documentation.Pierre Weis2015-08-281-13/+14
| * Fix compilation of the unboxed-primitive-args test on arm32Jérémie Dimino2015-08-262-20/+2
| * Update changelog for GPR#167Jérémie Dimino2015-08-251-0/+4
| * Support passing unboxed int64 between OCaml and C on ppc32Jérémie Dimino2015-08-251-29/+90
| * Update callilng convention on ppc64Jérémie Dimino2015-08-251-1/+4
| * Support Val in the sparc/emit.mlpJérémie Dimino2015-08-251-5/+5
| * Update sparc backend for unboxed primitive arguments/resultsJérémie Dimino2015-08-252-15/+41
| * Allow unboxing of int64 constants on 32 bit targetsJérémie Dimino2015-08-251-2/+1
| * Add a test for int64 unboxingJérémie Dimino2015-08-254-0/+79
| * Add typing tests for [@unboxed] and [@untagged]Jérémie Dimino2015-08-253-0/+238
| * Add tests for [@unboxed] and [@untagged]Jérémie Dimino2015-08-258-0/+724
| * Allow tests to be native code onlyJérémie Dimino2015-08-252-8/+16
| * Split 64-bit integers on 32-bit architecturesJérémie Dimino2015-08-257-44/+159
| * Refactor Cmmgen.subst_boxed_numberJérémie Dimino2015-08-251-59/+84
| * Update printing of externals with [@unboxed] or [@untagged] attributesJérémie Dimino2015-08-255-10/+43
| * Support [@unboxed] and [@untagged] attributesJérémie Dimino2015-08-2517-131/+324
View Lorry Controller Status