summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* enhanced commentios-supportGerd Stolpmann2015-09-261-1/+1
* common on polymorphic comparison and archGerd Stolpmann2015-09-261-0/+2
* adding commentsGerd Stolpmann2015-09-261-0/+4
* ios: update SDK version (8.4). Remove -no-pthread.Gerd Stolpmann2015-09-101-1/+2
* arm: always using the modern UAL mnemonicsGerd Stolpmann2015-09-101-52/+25
* iOS: the symbol __EABI__ is not defined; need to take this into accountGerd Stolpmann2015-09-103-4/+4
* iOS: removing some of the "CAMLRUN=..." fixups as these are not necessaryGerd Stolpmann2015-09-101-5/+5
* changed email addressGerd Stolpmann2015-05-081-1/+1
* doc, build driver for iOSGerd Stolpmann2015-05-082-4/+95
* Merge branch 'gs-4.02.1-ios' into gs-4.02-iosGerd Stolpmann2015-05-0824-533/+1196
|\
| * adding fixups for arm64iOS Porting Team2015-05-083-0/+47
| * Checking whether the host word size and the target word size matchiOS Porting Team2015-05-0810-0/+34
| * switching to SDK 8.3iOS Porting Team2015-05-081-1/+1
| * fix arm: using the correct UAL mnemonics for add/multiply operationsiOS Porting Team2015-05-081-1/+1
| * fix: the instructions lsls, lsrs, and asrs do not support an immediate arg of...iOS Porting Team2015-05-081-3/+6
| * arm64: adapt to specific notational variants of apple assembleriOS Porting Team2015-05-083-142/+213
| * arm64 fixing assembler notation glitches: (1) index immediates need a hash ma...iOS Porting Team2015-05-082-161/+163
| * arm64 fix in instruction selection: the arm64 instruction set only supports u...iOS Porting Team2015-05-081-6/+6
| * Changes in the build system: - configure: some more tests for Apple ARM. Also...iOS Porting Team2015-05-085-16/+149
| * Generate PIE code for Apple. This only affects symbol literals. Jumps can be ...iOS Porting Team2015-05-082-11/+89
| * implementing the ext calling conventions for Apple EABI. This is a little bit...iOS Porting Team2015-05-082-16/+95
| * for loading fp immediate constants, Apple as needs the fp as decimal number (...iOS Porting Team2015-05-081-19/+33
| * The apple assembler does not understand some of the pre-UAL mnemonics. Suppor...iOS Porting Team2015-05-081-24/+51
| * Instructions for div and mod: - on ARMv7s there are machine instructions - IO...iOS Porting Team2015-05-082-2/+18
| * On the iPhone simulator the machine context field has the two underscores.iOS Porting Team2015-05-081-4/+6
| * Adaptions to the syntax of Apple as. This also includes: - workaround for the...iOS Porting Team2015-05-082-164/+289
| * Define the new sub architecture for iOS: EABI_APPLE, ARMv7s, configurable sup...iOS Porting Team2015-05-083-21/+54
| * tagging release 4.02.14.02.1Damien Doligez2014-10-147-32/+40
* | byproduct of PR#6266: remove unused fileDamien Doligez2015-05-061-227/+0
* | revert 16093 (problem with absolute paths in #! headers)Damien Doligez2015-05-0630-108/+316
* | Fix PR#6810: Improve documentation of Bigarray.Genarray.map_fileMark Shinwell2015-05-062-1/+6
* | supplemental fix for PR#6797Damien Doligez2015-05-062-2/+5
* | Fix PR#6834: Add Obj.{first,last}_non_constant_constructor_tagMark Shinwell2015-05-066-0/+7
* | PR#6266: Cross compilation for iOs, Android etcDamien Doligez2015-05-0630-316/+108
* | Fix PR#6837: Build profiling libraries on FreeBSD and NetBSD x86-64Mark Shinwell2015-05-062-0/+3
* | Fix PR#6490: incorrect backtraces in gdb on AArch64. (Also fixes the same pr...Mark Shinwell2015-05-065-3/+19
* | Fix PR#6772: asmrun/signals_asm.c doesn't compile on NetBSD/i386Mark Shinwell2015-05-062-3/+15
* | Fix PR#6693 (part two): Incorrect relocation types in x86-64 runtime systemMark Shinwell2015-05-062-4/+5
* | Fix PR#6849Jacques Garrigue2015-05-065-1/+19
* | fix PR#6857Jacques Garrigue2015-05-064-4/+8
* | PR#6753: Num.quo_num and Num.mod_num incorrect for some negative argumentsXavier Leroy2015-05-062-49/+58
* | PR#6667: wrong implementation of %bswap16 on ARM64Xavier Leroy2015-05-062-1/+3
* | Fix pretty-printing of constraints on type declarationsJérémie Dimino2015-05-051-1/+1
* | Fix pretty-printing of GADT constructorsJérémie Dimino2015-05-051-4/+9
* | PR#6600 (cont.) [applying patch on behalf of garrigue]Damien Doligez2015-05-052-5/+9
* | Revert "PR#6693: also build libasmrun_shared.so and lib{asm,caml}run_pic.a"Gabriel Scherer2015-05-024-74/+16
* | bootstrapGabriel Scherer2015-05-023-0/+0
* | PR#6693: also build libasmrun_shared.so and lib{asm,caml}run_pic.aGabriel Scherer2015-05-024-16/+74
* | minor testsuite fixGabriel Scherer2015-05-021-8/+8
* | GPR#168: fix bad interaction of warning 34 (unused type declaration) with "no...Gabriel Scherer2015-05-013-18/+59