Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fma with first negated operand | David Monniaux | 2019-08-30 | 1 | -0/+2 |
* | fma | David Monniaux | 2019-08-30 | 1 | -1/+15 |
* | use finvw | David Monniaux | 2019-08-30 | 1 | -2/+13 |
* | fabsf | David Monniaux | 2019-08-29 | 1 | -0/+1 |
* | fmin/fmax/fminf/fmaxf non bien testés | David Monniaux | 2019-08-29 | 1 | -1/+7 |
* | helpers broke compilation | David Monniaux | 2019-07-19 | 1 | -0/+3 |
* | move with immediates | David Monniaux | 2019-06-04 | 1 | -0/+4 |
* | osel imm | David Monniaux | 2019-06-04 | 1 | -2/+8 |
* | shortcut cmove works | David Monniaux | 2019-06-04 | 1 | -20/+7 |
* | why doesn't it work? | David Monniaux | 2019-06-04 | 1 | -1/+43 |
* | little restructuring | David Monniaux | 2019-06-04 | 1 | -3/+4 |
* | start to have whole path if-conversion? | David Monniaux | 2019-06-04 | 1 | -1/+4 |
* | rm old select/selectl/selectf/selectfs | David Monniaux | 2019-06-03 | 1 | -45/+2 |
* | Merge remote-tracking branch 'origin/mppa-msub' into mppa-work | David Monniaux | 2019-05-30 | 1 | -3/+39 |
|\ | |||||
| * | correct -faddx option and propagate addim over addxim | David Monniaux | 2019-05-11 | 1 | -7/+7 |
| * | option -faddx (off by default until questions cleared) | David Monniaux | 2019-05-11 | 1 | -8/+21 |
| * | apply .xs onto addx4 etc | David Monniaux | 2019-05-11 | 1 | -6/+7 |
| * | more maddx | David Monniaux | 2019-05-11 | 1 | -0/+8 |
| * | maddx ordre opposé | David Monniaux | 2019-05-11 | 1 | -0/+2 |
| * | add with shift, beginning | David Monniaux | 2019-05-11 | 1 | -1/+9 |
| * | Pmsub compiled | David Monniaux | 2019-05-11 | 1 | -0/+4 |
* | | 32-bit modulo now uses sign extend then call to the 64-bit function | David Monniaux | 2019-05-13 | 1 | -1/+5 |
* | | we directly call 64-bit unsigned division | David Monniaux | 2019-05-13 | 1 | -1/+5 |
|/ | |||||
* | command line options (still incomplete) | David Monniaux | 2019-05-02 | 1 | -5/+11 |
* | does not yet work, arity mismatch | David Monniaux | 2019-05-01 | 1 | -0/+6 |
* | float of int = float of long o long of int | David Monniaux | 2019-04-29 | 1 | -1/+1 |
* | float of intu = float of longu o longu of intu | David Monniaux | 2019-04-29 | 1 | -1/+1 |
* | more insf detection | David Monniaux | 2019-04-28 | 1 | -0/+12 |
* | coq mode for emacs | David Monniaux | 2019-04-28 | 1 | -0/+4 |
* | selection for insf | David Monniaux | 2019-04-28 | 1 | -1/+1 |
* | some more on bitfield detection | David Monniaux | 2019-04-28 | 1 | -4/+7 |
* | some more on bit fields insert detection | David Monniaux | 2019-04-28 | 1 | -1/+3 |
* | progress on bitfield detection | David Monniaux | 2019-04-28 | 1 | -1/+6 |
* | detect insf case, begin | David Monniaux | 2019-04-28 | 1 | -0/+4 |
* | factor expressions into single file | David Monniaux | 2019-04-27 | 1 | -6/+3 |
* | progress | David Monniaux | 2019-04-25 | 1 | -1/+9 |
* | IT COMPILES | David Monniaux | 2019-04-25 | 1 | -5/+5 |
* | some progress on bitfields | David Monniaux | 2019-04-25 | 1 | -0/+8 |
* | some more simplification | David Monniaux | 2019-04-12 | 1 | -0/+2 |
* | some more simplification | David Monniaux | 2019-04-12 | 1 | -0/+1 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -0/+1 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -0/+6 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -1/+6 |
* | more simplifications | David Monniaux | 2019-04-12 | 1 | -0/+2 |
* | Oselectf, Oselectfs with condition | David Monniaux | 2019-04-05 | 1 | -0/+14 |
* | selectl with condition | David Monniaux | 2019-04-05 | 1 | -3/+13 |
* | ternary ops work on (unsigned/signed) int with test on signed int | David Monniaux | 2019-04-04 | 1 | -3/+3 |
* | more on select | David Monniaux | 2019-04-04 | 1 | -0/+5 |
* | some more progress on select | David Monniaux | 2019-04-04 | 1 | -2/+2 |
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-03 | 1 | -0/+1 |
|\ |