Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| | * | | insfl generation | David Monniaux | 2019-04-29 | 2 | -0/+86 | |
| * | | | Merge remote-tracking branch 'origin/mppa-bitfields' into mppa-work | David Monniaux | 2019-04-28 | 13 | -19/+270 | |
| |\| | | ||||||
| | * | | more insf detection | David Monniaux | 2019-04-28 | 2 | -0/+43 | |
| | * | | coq mode for emacs | David Monniaux | 2019-04-28 | 1 | -0/+4 | |
| | * | | insf seems to work | David Monniaux | 2019-04-28 | 1 | -1/+1 | |
| | * | | selection for insf | David Monniaux | 2019-04-28 | 2 | -3/+21 | |
| | * | | some more on bitfield detection | David Monniaux | 2019-04-28 | 2 | -5/+10 | |
| | * | | some more on bit fields insert detection | David Monniaux | 2019-04-28 | 2 | -2/+5 | |
| | * | | progress on bitfield detection | David Monniaux | 2019-04-28 | 2 | -2/+7 | |
| | * | | detect insf case, begin | David Monniaux | 2019-04-28 | 3 | -4/+16 | |
| | * | | compute the highest bit in a number | David Monniaux | 2019-04-27 | 1 | -0/+10 | |
| | * | | instruction translation for bitfield insertion | David Monniaux | 2019-04-27 | 1 | -0/+12 | |
| | * | | some more folding of code | David Monniaux | 2019-04-27 | 1 | -6/+13 | |
| | * | | add bitfield insert opcode but not yet used nor translated | David Monniaux | 2019-04-27 | 5 | -6/+90 | |
| | * | | begin add bitfield insertion | David Monniaux | 2019-04-27 | 5 | -7/+55 | |
| * | | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-04-28 | 17 | -75/+301 | |
| |\| | | ||||||
| | * | | more base operators on bitfield | David Monniaux | 2019-04-27 | 1 | -0/+19 | |
| | * | | factor expressions into single file | David Monniaux | 2019-04-27 | 8 | -52/+52 | |
| | * | | moved operators to specific file instead of common file | David Monniaux | 2019-04-27 | 8 | -86/+91 | |
| | * | | some little helper | David Monniaux | 2019-04-26 | 1 | -0/+15 | |
| | * | | added code for extfzl/extfsl (not very useful since bitfields are limited to ... | David Monniaux | 2019-04-25 | 6 | -6/+149 | |
| | * | | start of extfzl/extfsl | David Monniaux | 2019-04-25 | 7 | -6/+50 | |
| | |/ | ||||||
| * | | Revert "more insf detection" | David Monniaux | 2019-04-28 | 2 | -37/+9 | |
| * | | more insf detection | David Monniaux | 2019-04-28 | 2 | -9/+37 | |
| |/ | ||||||
* / | Changes to include a -O1 -fschedule-insns2 gcc run as well | Cyril SIX | 2019-04-26 | 24 | -290/+384 | |
|/ | ||||||
* | simplify proof slightlyv3.5_k1c_1.1 | David Monniaux | 2019-04-25 | 1 | -20/+16 | |
* | read from bit fields | David Monniaux | 2019-04-25 | 3 | -5/+41 | |
* | progress | David Monniaux | 2019-04-25 | 11 | -8/+104 | |
* | IT COMPILES | David Monniaux | 2019-04-25 | 7 | -45/+48 | |
* | some progress | David Monniaux | 2019-04-25 | 1 | -1/+5 | |
* | some more progress | David Monniaux | 2019-04-25 | 2 | -2/+39 | |
* | some progress on bitfields | David Monniaux | 2019-04-25 | 4 | -1/+33 | |
* | begin bitfields | David Monniaux | 2019-04-24 | 6 | -1/+26 | |
* | make_prologue à part | David Monniaux | 2019-04-24 | 2 | -6/+9 | |
* | identify bug from x86 | David Monniaux | 2019-04-13 | 1 | -2/+4 | |
* | various bugs in FP | David Monniaux | 2019-04-13 | 1 | -0/+6 | |
* | some more examples | David Monniaux | 2019-04-13 | 1 | -4/+39 | |
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-04-13 | 1 | -0/+15 | |
|\ | ||||||
| * | feclearexcept / fetestexcept | David Monniaux | 2019-04-13 | 1 | -0/+15 | |
* | | code for checking IEEE-754 exceptions | David Monniaux | 2019-04-13 | 1 | -0/+41 | |
* | | experiments with rounding modes | David Monniaux | 2019-04-13 | 1 | -5/+21 | |
* | | test for rounding modes | David Monniaux | 2019-04-13 | 1 | -0/+20 | |
|/ | ||||||
* | dirty fix for issue #112 | David Monniaux | 2019-04-13 | 1 | -3/+7 | |
* | test breaks | David Monniaux | 2019-04-12 | 1 | -0/+44 | |
* | 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 | 2 | -1/+4 | |
* | some more simplifications | David Monniaux | 2019-04-12 | 2 | -0/+2 | |
* | some simplifications (long) | David Monniaux | 2019-04-12 | 2 | -0/+58 | |
* | more simplifications | David Monniaux | 2019-04-12 | 2 | -8/+13 | |
* | some more simplification | David Monniaux | 2019-04-12 | 2 | -0/+16 |