| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | k1c -> kvx changes | David Monniaux | 2020-05-26 | 1 | -1/+1 |
| * | Adding copyrights | Cyril SIX | 2020-05-04 | 1 | -0/+14 |
| * | fix broken test Makefile | David Monniaux | 2020-03-27 | 1 | -0/+7 |
| * | Fixing issue with <math.h> and fabs | Cyril SIX | 2020-01-09 | 1 | -1/+2 |
| * | 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 |
| * | better #include handling | David Monniaux | 2019-04-12 | 1 | -1/+5 |
| * | workaround for non-standard C isfinite macro in math.h | David Monniaux | 2019-04-12 | 1 | -0/+3 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |