Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
|\ | |||||
| * | Started to add addressing with register + register, Mach -> Asm not done yet | Cyril SIX | 2019-04-01 | 1 | -0/+1 |
* | | ternary unsigned | David Monniaux | 2019-03-26 | 1 | -0/+9 |
* | | rm cruft | David Monniaux | 2019-03-26 | 1 | -24/+0 |
* | | ternary begins working | David Monniaux | 2019-03-26 | 1 | -5/+5 |
* | | some progress | David Monniaux | 2019-03-26 | 1 | -5/+4 |
* | | implemented ternary pattern | David Monniaux | 2019-03-26 | 1 | -1/+11 |
* | | more on ternary | David Monniaux | 2019-03-26 | 1 | -5/+5 |
* | | select basic operators | David Monniaux | 2019-03-26 | 1 | -0/+24 |
|/ | |||||
* | ça recompile sur x86 | David Monniaux | 2019-03-22 | 1 | -38/+1 |
* | la division flottante fonctionne | David Monniaux | 2019-03-20 | 1 | -2/+11 |
* | begin float division | David Monniaux | 2019-03-20 | 1 | -0/+4 |
* | les divisions entieres passent | David Monniaux | 2019-03-20 | 1 | -3/+8 |
* | Merge branch 'mppa_postpass' into mppa-mul | David Monniaux | 2019-03-20 | 1 | -1/+9 |
|\ | |||||
| * | mul+madd immediate | David Monniaux | 2019-03-19 | 1 | -0/+4 |
| * | mul immediate | David Monniaux | 2019-03-19 | 1 | -1/+1 |
| * | reverse madd | David Monniaux | 2019-03-19 | 1 | -0/+2 |
| * | mandw mais ça coince | David Monniaux | 2019-03-18 | 1 | -0/+2 |
* | | added helper functions but strange | David Monniaux | 2019-03-19 | 1 | -1/+47 |
|/ | |||||
* | some more andn / orn | David Monniaux | 2019-03-18 | 1 | -0/+4 |
* | andn/orn start being generated | David Monniaux | 2019-03-18 | 1 | -0/+2 |
* | andn / orn suite | David Monniaux | 2019-03-18 | 1 | -1/+1 |
* | nxor | David Monniaux | 2019-03-16 | 1 | -0/+2 |
* | nor implemente | David Monniaux | 2019-03-16 | 1 | -0/+2 |