Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | k1c -> kvx changes | David Monniaux | 2020-05-26 | 15 | -19/+19 |
* | Adding copyrights | Cyril SIX | 2020-05-04 | 3 | -0/+41 |
* | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-features | David Monniaux | 2020-04-20 | 8 | -44/+356 |
|\ | |||||
| * | fix int64 | David Monniaux | 2020-04-20 | 1 | -0/+4 |
| * | seems like fixed linking tests?! | David Monniaux | 2020-04-20 | 1 | -1/+1 |
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2020-04-20 | 13 | -50/+248 |
| |\ | |||||
| * | | copyright block | David Monniaux | 2019-05-29 | 1 | -0/+183 |
| * | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-div | David Monniaux | 2019-05-29 | 2 | -0/+2 |
| |\ \ | |||||
| * | | | use silent FP | David Monniaux | 2019-05-29 | 1 | -9/+9 |
| * | | | arranging for selection of divisor as option | David Monniaux | 2019-05-29 | 8 | -142/+45 |
| * | | | fixes | David Monniaux | 2019-05-29 | 1 | -0/+1 |
| * | | | various fixes | David Monniaux | 2019-05-29 | 1 | -0/+2 |
| * | | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-div | David Monniaux | 2019-05-29 | 2 | -0/+14 |
| |\ \ \ | |||||
| * | | | | new routines for 32-bit division | David Monniaux | 2019-05-21 | 3 | -5/+122 |
| * | | | | sdiv, smod, udiv, umod through fast routines | David Monniaux | 2019-05-16 | 1 | -1/+32 |
| * | | | | umod | David Monniaux | 2019-05-16 | 1 | -1/+33 |
| * | | | | udiv | David Monniaux | 2019-05-16 | 1 | -1/+28 |
| * | | | | simplify sdiv | David Monniaux | 2019-05-16 | 1 | -5/+0 |
| * | | | | simplify sdiv code | David Monniaux | 2019-05-16 | 1 | -4/+1 |
| * | | | | simplify sdiv code | David Monniaux | 2019-05-16 | 1 | -8/+0 |
| * | | | | sdiv seems to work, udiv/umod/smod BOGUS | David Monniaux | 2019-05-16 | 3 | -50/+51 |
* | | | | | do not print debug stuff | David Monniaux | 2020-04-20 | 1 | -1/+1 |
* | | | | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-features | David Monniaux | 2020-04-12 | 2 | -1/+61 |
|\ \ \ \ \ | |||||
| * | | | | | now use COMPCERT_PROFILING_DATA and don't print stuff | David Monniaux | 2020-04-12 | 1 | -2/+10 |
| * | | | | | use proper local labels | David Monniaux | 2020-04-10 | 1 | -1/+1 |
| * | | | | | profiling still crashes on Aarch64 | David Monniaux | 2020-04-10 | 2 | -5/+5 |
| * | | | | | fix write table | David Monniaux | 2020-04-10 | 1 | -0/+4 |
| * | | | | | fixed a bug in support libraries; reload profiling info | David Monniaux | 2020-04-08 | 1 | -1/+1 |
| * | | | | | library support for writing profiling information to files | David Monniaux | 2020-04-08 | 2 | -0/+48 |
| | |_|_|/ | |/| | | | |||||
* | | | | | Merge remote-tracking branch 'origin/mppa-expect3' into mppa-work | David Monniaux | 2020-04-09 | 1 | -1/+1 |
|\ \ \ \ \ | |||||
| * | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-expect | David Monniaux | 2020-04-06 | 28 | -8/+2040 |
| |\| | | | | |||||
| * | | | | | __builtin_expect defined as its first argument | David Monniaux | 2019-09-25 | 1 | -1/+1 |
* | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-thread | David Monniaux | 2020-04-08 | 5 | -24/+29 |
|\ \ \ \ \ \ | | |/ / / / | |/| | | | | |||||
| * | | | | | Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-work | Cyril SIX | 2020-04-01 | 4 | -24/+22 |
| |\ \ \ \ \ | |||||
| | * | | | | | Double rounding error in int64->float32 conversions on PowerPC and ARM | Xavier Leroy | 2020-03-30 | 4 | -24/+22 |
| * | | | | | | fix broken test Makefile | David Monniaux | 2020-03-27 | 1 | -0/+7 |
* | | | | | | | it now works, no more ugly hack to access thread local data | David Monniaux | 2020-02-24 | 1 | -1/+1 |
|/ / / / / / | |||||
* | | | | | | bringing back the ppc64 runtime | David Monniaux | 2020-02-09 | 5 | -0/+440 |
* | | | | | | why did we remove the ppc runtime ?! | David Monniaux | 2020-02-08 | 17 | -0/+1430 |
* | | | | | | Fixed using ccomp assembly preprocessor | Cyril SIX | 2020-02-06 | 1 | -3/+3 |
* | | | | | | Fixing issue with <math.h> and fabs | Cyril SIX | 2020-01-09 | 1 | -1/+2 |
* | | | | | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea... | David Monniaux | 2019-09-20 | 3 | -0/+156 |
|\| | | | | | |/ / / / |/| | | | | |||||
| * | | | | AArch64 port | Xavier Leroy | 2019-08-08 | 3 | -0/+156 |
* | | | | | (#157) Fixing warning for desactivated afaddd builtin. No implementation yet | Cyril SIX | 2019-09-05 | 1 | -0/+6 |
* | | | | | macros for fma() fmaf() | David Monniaux | 2019-08-30 | 1 | -0/+2 |
* | | | | | fmin/fmax/fminf/fmaxf non bien testés | David Monniaux | 2019-08-29 | 1 | -0/+9 |
* | | | | | merge upstream including fma fixes | David Monniaux | 2019-08-28 | 22 | -1870/+0 |
* | | | | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-... | David Monniaux | 2019-06-03 | 1 | -4/+4 |
|\| | | | | |||||
| * | | | | Prepend $(DESTDIR) to the installation target (#169) | Bernhard Schommer | 2019-05-17 | 1 | -4/+4 |
* | | | | | use all same exact include filesv3.5_k1c_1.2 | David Monniaux | 2019-06-03 | 1 | -15/+7 |
| |_|_|/ |/| | | |