| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass | David Monniaux | 2020-10-18 | 1 | -1/+14 |
| |\ | |||||
| | * | Updating builtins for Accesscore 4.2 (atomic stuff) | Cyril SIX | 2020-10-14 | 1 | -1/+14 |
| * | | fix need for kvx-elf | David Monniaux | 2020-10-02 | 1 | -5/+1 |
| * | | Using kvx-elf-ar instead of ar | Cyril SIX | 2020-05-29 | 1 | -1/+7 |
| |/ | |||||
| * | 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 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |