| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | attempt at fixing | David Monniaux | 2021-09-28 | 1 | -2/+2 |
| * | Merge branch 'master' of https://github.com/AbsInt/CompCert into kvx-work | David Monniaux | 2021-06-11 | 1 | -0/+2 |
| |\ | |||||
| * | | Fixing build for KVX (missing ccomp_kvx_fixes.h for runtime) | Cyril SIX | 2021-06-01 | 1 | -0/+1 |
| * | | Merge branch 'master' into merge_master_8.13.1 | Sylvain Boulmé | 2021-03-23 | 5 | -7/+69 |
| |\| | |||||
| | * | "macosx" is now called "macos" | Xavier Leroy | 2021-01-18 | 4 | -4/+4 |
| | * | AArch64: macOS port | Xavier Leroy | 2020-12-26 | 2 | -4/+66 |
| | * | Configure the correct archiver to build runtime/libcompcert.a | Xavier Leroy | 2020-12-24 | 1 | -1/+1 |
| * | | bad link | David Monniaux | 2020-12-11 | 1 | -1/+0 |
| * | | Merge branch 'kvx-work' into kvx-work-merge3.8 | Cyril SIX | 2020-12-04 | 1 | -1/+3 |
| |\ \ | |||||
| | * \ | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass | David Monniaux | 2020-10-18 | 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 |
| * | | | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8 | David Monniaux | 2020-11-18 | 5 | -28/+99 |
| |\ \ \ \ | |_|/ / |/| | / | | |/ | |/| | |||||
| | * | | Support Cygwin 64 bits | Xavier Leroy | 2020-10-05 | 5 | -28/+99 |
| * | | | Updating builtins for Accesscore 4.2 (atomic stuff) | Cyril SIX | 2020-10-14 | 1 | -1/+14 |
| | |/ |/| | |||||
| * | | 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 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |