aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into kvx-workDavid Monniaux2021-06-111-0/+2
|\
| * Configure the correct archiver to build runtime/libcompcert.aXavier Leroy2020-12-241-1/+1
* | fix need for kvx-elfDavid Monniaux2020-10-021-5/+1
* | Using kvx-elf-ar instead of arCyril SIX2020-05-291-1/+7
* | k1c -> kvx changesDavid Monniaux2020-05-261-4/+4
* | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-featuresDavid Monniaux2020-04-201-4/+4
|\ \
| * | seems like fixed linking tests?!David Monniaux2020-04-201-1/+1
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2020-04-201-4/+6
| |\ \
| * | | arranging for selection of divisor as optionDavid Monniaux2019-05-291-2/+3
| * | | new routines for 32-bit divisionDavid Monniaux2019-05-211-3/+2
* | | | do not print debug stuffDavid Monniaux2020-04-201-1/+1
* | | | profiling still crashes on Aarch64David Monniaux2020-04-101-1/+1
* | | | library support for writing profiling information to filesDavid Monniaux2020-04-081-0/+2
| |/ / |/| |
* | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-201-0/+2
|\ \ \ | | |/ | |/|
| * | AArch64 portXavier Leroy2019-08-081-0/+2
* | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-4/+4
|\| | | |/ |/|
| * Prepend $(DESTDIR) to the installation target (#169)Bernhard Schommer2019-05-171-4/+4
* | workaround for non-standard C isfinite macro in math.hDavid Monniaux2019-04-121-1/+1
* | cleaner: put all the special types, defines etc. in one header fileDavid Monniaux2019-04-111-0/+3
* | Added i64_shl and i64_shr to the runtime Makefile, needed by i64_dtosCyril SIX2019-03-191-1/+2
* | Float conversion fixes + some more conversionsCyril SIX2019-02-271-2/+4
* | Finished implementation of va_arg + testing doneCyril SIX2018-11-301-1/+1
* | Fixed MPPA runtimes not compilingCyril SIX2018-11-201-3/+1
* | MPPA - Added modulo and division 64 bits. Non certifiedCyril SIX2018-05-211-0/+5
|/
* Prefixed runtime functions.Bernhard Schommer2017-08-251-2/+2
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-8/+10
* RISC-V port and assorted changesXavier Leroy2017-04-281-1/+12
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-271-1/+3
* Turn 64-bit integer division and modulus by constants into multiply-highXavier Leroy2016-10-041-0/+1
* Support for 64-bit architectures: x86 in 64-bit modeXavier Leroy2016-10-011-0/+13
* Implement support for big endian arm targets.Bernhard Schommer2016-08-051-1/+1
* Added the _Noreturn keyword.Bernhard Schommer2016-03-231-1/+2
* VPATH setting for PowerPCXavier Leroy2015-09-131-1/+9
* PowerPC 64 bits: alternate, more efficient implementations of int64 operations.Xavier Leroy2015-09-121-2/+4
* Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-251-5/+14
* C reference implementation of the int64 helper functions.Xavier Leroy2015-02-141-1/+1
* configure: distinguish between ABI and processor model.xleroy2014-07-291-1/+1
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-011-1/+2
* Merge of the "princeton" branch:xleroy2013-06-161-0/+8
* Fix compilation of runtime system.xleroy2013-05-291-2/+2
* Support for in64 -> float conversions w/ correct rounding.xleroy2013-05-061-2/+2
* Expand 64-bit integer comparisons into 32-bit integer comparisons.xleroy2013-04-291-2/+2
* Make ia32/ code more portable across systems.xleroy2013-04-231-1/+1
* Split arch/int64.s into one file per function.xleroy2013-04-201-1/+6
* Configuring the assembler used for the runtime libxleroy2013-04-201-1/+1
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-10/+18
* Support for indirect symbols under MacOS X (final).xleroy2012-07-141-4/+4
* Simplified stdlib wrapper; use it only under MacOS Xxleroy2010-09-041-3/+11
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...xleroy2008-04-191-2/+1
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefilesxleroy2007-08-061-0/+7
generated by cgit (git 2.34.1) at 2024-05-09 11:13:19 +0000