| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | begin scripting the Compiler.v file | David Monniaux | 2020-04-21 | 5 | -39/+71 |
| * | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-21 | 15 | -165/+444 |
| |\ | |||||
| | * | example | David Monniaux | 2020-04-21 | 1 | -0/+6 |
| | * | Merge branch 'mppa-cse3' of ../mppa-cse3 into mppa-licm | David Monniaux | 2020-04-21 | 2 | -6/+34 |
| | |\ | |||||
| | | * | improvement in precision | David Monniaux | 2020-04-21 | 2 | -6/+34 |
| | * | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licm | David Monniaux | 2020-04-21 | 6 | -12/+18 |
| | |\| | |||||
| | | * | forward moves through CSE3 store | David Monniaux | 2020-04-21 | 4 | -8/+11 |
| | | * | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3 | David Monniaux | 2020-04-20 | 11 | -152/+393 |
| | | |\ | |||||
| | | | * | forward moves into store source | David Monniaux | 2020-04-20 | 2 | -4/+7 |
| | * | | | Merge branch 'mppa-notrap-semantics' of ../mppa-notrap-semantics into mppa-licm | David Monniaux | 2020-04-20 | 7 | -147/+386 |
| | |\ \ \ | | | |/ | | |/| | |||||
| | | * | | new semantics for some trapping operations | David Monniaux | 2020-04-20 | 5 | -79/+26 |
| | | * | | detail with shrxl | David Monniaux | 2020-04-20 | 1 | -2/+4 |
| | | * | | adapt VA | David Monniaux | 2020-04-20 | 1 | -8/+306 |
| | | * | | change semantics for trapping ops | David Monniaux | 2020-04-20 | 1 | -58/+50 |
| | * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licm | David Monniaux | 2020-04-20 | 2 | -1/+0 |
| | |\| | | |||||
| | | * | | no longer missing files | David Monniaux | 2020-04-20 | 1 | -1/+0 |
| | | * | | fix Mandelbrot | David Monniaux | 2020-04-20 | 1 | -0/+0 |
| * | | | | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-features | David Monniaux | 2020-04-20 | 14 | -78/+432 |
| |\ \ \ \ | |||||
| | * | | | | 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 | 1031 | -29150/+248508 |
| | |\ \ \ \ | | | |/ / | | |/| | | |||||
| | * | | | | 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 | 3 | -1/+3 |
| | |\ \ \ \ | |||||
| | * | | | | | use silent FP | David Monniaux | 2019-05-29 | 1 | -9/+9 |
| | * | | | | | added -fdiv-i32 and -fdiv-i64 options | David Monniaux | 2019-05-29 | 3 | -5/+20 |
| | * | | | | | arranging for selection of divisor as option | David Monniaux | 2019-05-29 | 9 | -146/+89 |
| | * | | | | | fixes | David Monniaux | 2019-05-29 | 1 | -0/+1 |
| | * | | | | | various fixes | David Monniaux | 2019-05-29 | 2 | -1/+3 |
| | * | | | | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-div | David Monniaux | 2019-05-29 | 0 | -0/+0 |
| | |\ \ \ \ \ | |||||
| | * \ \ \ \ \ | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-div | David Monniaux | 2019-05-29 | 14 | -358/+53 |
| | |\ \ \ \ \ \ | |||||
| | * \ \ \ \ \ \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-29 | 8 | -40/+45 |
| | |\ \ \ \ \ \ \ | |||||
| | * | | | | | | | | new routines for 32-bit division | David Monniaux | 2019-05-21 | 3 | -5/+122 |
| | * | | | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-21 | 7 | -949/+712 |
| | |\ \ \ \ \ \ \ \ | |||||
| | * \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-20 | 25 | -23/+136 |
| | |\ \ \ \ \ \ \ \ \ | |||||
| | * \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-17 | 7 | -298/+593 |
| | |\ \ \ \ \ \ \ \ \ \ | |||||
| | * \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-16 | 1 | -5/+18 |
| | |\ \ \ \ \ \ \ \ \ \ \ | |||||
| | * | | | | | | | | | | | | 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 | 6 | -80/+69 |
| * | | | | | | | | | | | | | do not print debug stuff | David Monniaux | 2020-04-20 | 2 | -3/+5 |
| * | | | | | | | | | | | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-20 | 35 | -105/+2951 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|_|/ / | |/| | | | | | | | | | | | |||||
| | * | | | | | | | | | | | | add options for controlling madd and notrap selection | David Monniaux | 2020-04-19 | 7 | -17/+46 |
| | * | | | | | | | | | | | | activate LICM | David Monniaux | 2020-04-19 | 2 | -2/+2 |
| | * | | | | | | | | | | | | forgotten extraction | David Monniaux | 2020-04-19 | 1 | -1/+2 |
| | * | | | | | | | | | | | | test whether the instructions are allowed | David Monniaux | 2020-04-19 | 9 | -10/+28 |
| | * | | | | | | | | | | | | compute injections | David Monniaux | 2020-04-19 | 1 | -11/+28 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |