Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-load | David Monniaux | 2019-12-02 | 1 | -2/+3 |
|\ | |||||
| * | [regression to check!] Merge tag 'v3.6' into mppa-work | Cyril SIX | 2019-10-16 | 1 | -2/+2 |
* | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea... | David Monniaux | 2019-09-20 | 1 | -2/+2 |
|/ | |||||
* | fma with first negated operand | David Monniaux | 2019-08-30 | 1 | -6/+14 |
* | fma | David Monniaux | 2019-08-30 | 1 | -3/+50 |
* | use finvw | David Monniaux | 2019-08-30 | 1 | -1/+30 |
* | fmin/fmax/fminf/fmaxf non bien testés | David Monniaux | 2019-08-29 | 1 | -1/+3 |
* | various fixes | David Monniaux | 2019-07-19 | 1 | -0/+15 |
* | move with immediates | David Monniaux | 2019-06-04 | 1 | -1/+27 |
* | osel imm | David Monniaux | 2019-06-04 | 1 | -11/+8 |
* | shortcut cmove works | David Monniaux | 2019-06-04 | 1 | -69/+0 |
* | why doesn't it work? | David Monniaux | 2019-06-04 | 1 | -6/+222 |
* | start to have whole path if-conversion? | David Monniaux | 2019-06-04 | 1 | -1/+13 |
* | rm old select/selectl/selectf/selectfs | David Monniaux | 2019-06-03 | 1 | -79/+18 |
* | Merge remote-tracking branch 'origin/mppa-msub' into mppa-work | David Monniaux | 2019-05-30 | 1 | -1/+152 |
|\ | |||||
| * | correct -faddx option and propagate addim over addxim | David Monniaux | 2019-05-11 | 1 | -0/+5 |
| * | option -faddx (off by default until questions cleared) | David Monniaux | 2019-05-11 | 1 | -2/+29 |
| * | apply .xs onto addx4 etc | David Monniaux | 2019-05-11 | 1 | -11/+18 |
| * | more maddx | David Monniaux | 2019-05-11 | 1 | -0/+66 |
| * | maddx ordre opposé | David Monniaux | 2019-05-11 | 1 | -0/+4 |
| * | add with shift, beginning | David Monniaux | 2019-05-11 | 1 | -0/+36 |
| * | Pmsub compiled | David Monniaux | 2019-05-11 | 1 | -0/+6 |
* | | 32-bit modulo now uses sign extend then call to the 64-bit function | David Monniaux | 2019-05-13 | 1 | -2/+18 |
* | | we directly call 64-bit unsigned division | David Monniaux | 2019-05-13 | 1 | -2/+18 |
|/ | |||||
* | command line options (still incomplete) | David Monniaux | 2019-05-02 | 1 | -6/+13 |
* | does not yet work, arity mismatch | David Monniaux | 2019-05-01 | 1 | -0/+5 |
* | float of int = float of long o long of int | David Monniaux | 2019-04-29 | 1 | -3/+16 |
* | float of intu = float of longu o longu of intu | David Monniaux | 2019-04-29 | 1 | -3/+17 |
* | more insf detection | David Monniaux | 2019-04-28 | 1 | -0/+31 |
* | selection for insf | David Monniaux | 2019-04-28 | 1 | -2/+20 |
* | some more on bitfield detection | David Monniaux | 2019-04-28 | 1 | -1/+3 |
* | some more on bit fields insert detection | David Monniaux | 2019-04-28 | 1 | -1/+2 |
* | progress on bitfield detection | David Monniaux | 2019-04-28 | 1 | -1/+1 |
* | detect insf case, begin | David Monniaux | 2019-04-28 | 1 | -0/+1 |
* | factor expressions into single file | David Monniaux | 2019-04-27 | 1 | -2/+2 |
* | moved operators to specific file instead of common file | David Monniaux | 2019-04-27 | 1 | -4/+5 |
* | simplify proof slightlyv3.5_k1c_1.1 | David Monniaux | 2019-04-25 | 1 | -20/+16 |
* | progress | David Monniaux | 2019-04-25 | 1 | -3/+35 |
* | IT COMPILES | David Monniaux | 2019-04-25 | 1 | -25/+28 |
* | some progress | David Monniaux | 2019-04-25 | 1 | -1/+5 |
* | some more progress | David Monniaux | 2019-04-25 | 1 | -1/+17 |
* | some progress on bitfields | David Monniaux | 2019-04-25 | 1 | -0/+9 |
* | some more simplification | David Monniaux | 2019-04-12 | 1 | -0/+14 |
* | some more simplification | David Monniaux | 2019-04-12 | 1 | -0/+6 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -0/+6 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -3/+19 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -10/+11 |
* | more simplifications | David Monniaux | 2019-04-12 | 1 | -0/+4 |
* | some more progress on select | David Monniaux | 2019-04-04 | 1 | -26/+27 |
* | prepare for conditions in cmove | David Monniaux | 2019-04-04 | 1 | -2/+2 |