aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
Commit message (Expand)AuthorAgeFilesLines
* Use define for wchar_t typeBernhard Schommer2023-02-011-6/+2
* "macosx" is now called "macos"Xavier Leroy2021-01-184-4/+4
* AArch64: macOS portXavier Leroy2020-12-262-4/+66
* Configure the correct archiver to build runtime/libcompcert.aXavier Leroy2020-12-241-1/+1
* Support Cygwin 64 bitsXavier Leroy2020-10-055-28/+99
* Double rounding error in int64->float32 conversions on PowerPC and ARMXavier Leroy2020-03-304-24/+22
* AArch64 portXavier Leroy2019-08-083-0/+156
* Prepend $(DESTDIR) to the installation target (#169)Bernhard Schommer2019-05-171-4/+4
* <stddef.h>: define NULL with type void *Xavier Leroy2019-02-041-1/+1
* <stdbool.h>: add missing macro __bool_true_false_are_definedXavier Leroy2019-02-041-0/+1
* Define the C11 type max_align_t (#115)Bernhard Schommer2018-05-241-0/+9
* Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)Gergö Barany2017-09-181-0/+2
* Prefixed runtime functions.Bernhard Schommer2017-08-2557-208/+208
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-0315-435/+200
* RISC-V vararg.S: a "sw" instruction should be "sptr"Xavier Leroy2017-04-291-1/+1
* RISC-V port and assorted changesXavier Leroy2017-04-2820-41/+205
* Change the syntax to gcc/clangs syntax.Bernhard Schommer2017-02-011-1/+1
* New version to support designators.Bernhard Schommer2017-01-241-1/+1
* Implement offsetof via builtin.Bernhard Schommer2017-01-201-1/+1
* powerpc/runtime: add commentsXavier Leroy2016-10-281-1/+2
* runtime/powerpc: remove useless files, add commentsXavier Leroy2016-10-282-140/+0
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-2719-1/+3
* i64_smulh: revert to conditional branches instead of predicated insnsXavier Leroy2016-10-251-8/+8
* Update PowerPC port (not tested yet)Xavier Leroy2016-10-252-0/+144
* Update ARM port. Not tested yet.Xavier Leroy2016-10-253-0/+139
* x86-64 MacOS X supportXavier Leroy2016-10-111-1/+1
* Turn 64-bit integer division and modulus by constants into multiply-highXavier Leroy2016-10-048-0/+433
* Support for 64-bit architectures: x86 in 64-bit modeXavier Leroy2016-10-016-0/+404
* Implement support for big endian arm targets.Bernhard Schommer2016-08-0516-214/+254
* Added iso646 header for alternate spellings.Bernhard Schommer2016-04-061-0/+49
* Added the _Noreturn keyword.Bernhard Schommer2016-03-233-1/+82
* Include fix for wint_t gcc problem.Bernhard Schommer2016-01-211-12/+16
* Libcompcert should be compiled in thumb mode for armv7m.Bernhard Schommer2015-12-181-2/+2
* More gcc/newlib compatibility code.Bernhard Schommer2015-12-111-2/+13
* VPATH setting for PowerPCXavier Leroy2015-09-131-1/+9
* Wrong syntax in fcmp.Xavier Leroy2015-09-131-2/+2
* PowerPC 64 bits: alternate, more efficient implementations of int64 operations.Xavier Leroy2015-09-1213-2/+681
* Also test if the __VA_LIST macro is defined to avoid problems with the typede...Bernhard Schommer2015-07-091-2/+8
* Removed brackets around ty in macro of offestof.Bernhard Schommer2015-07-071-1/+1
* Diab defines w_char to be unsigned short.Bernhard Schommer2015-07-071-1/+1
* Better define the __GNUC__ macro which avoids the inclusion of va_list header...Bernhard Schommer2015-07-071-0/+4
* Make also the wchar definition diab compatible.Bernhard Schommer2015-06-261-0/+15
* Added diab specific macros for stddef to avoid redefinition of size_t.Bernhard Schommer2015-06-261-0/+9
* Typo in #ifndef guard.Xavier Leroy2015-05-091-1/+1
* Improve compatibility with MacOS X.Xavier Leroy2015-04-261-0/+3
* Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-256-5/+312
* Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-202-0/+19
* Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-201-0/+12
* C reference implementation of the int64 helper functions.Xavier Leroy2015-02-1418-8/+928
* configure: distinguish between ABI and processor model.xleroy2014-07-2910-12/+25
generated by cgit (git 2.34.1) at 2024-05-03 21:31:40 +0000