Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ça avance | David Monniaux | 2019-05-01 | 2 | -12/+85 |
* | pass one proof | David Monniaux | 2019-05-01 | 1 | -7/+2 |
* | advancing (but broken) | David Monniaux | 2019-05-01 | 2 | -0/+5 |
* | translate load.xs | David Monniaux | 2019-05-01 | 4 | -7/+30 |
* | indexed2XS begin | David Monniaux | 2019-05-01 | 3 | -3/+10 |
* | begin load.xs | David Monniaux | 2019-05-01 | 8 | -11/+85 |
* | rm unsupported int -> double signed/unsigned ops | David Monniaux | 2019-04-29 | 4 | -17/+1 |
* | removed fake ops for int32 -> double | David Monniaux | 2019-04-29 | 6 | -24/+0 |
* | float of int = float of long o long of int | David Monniaux | 2019-04-29 | 2 | -4/+17 |
* | float of intu = float of longu o longu of intu | David Monniaux | 2019-04-29 | 2 | -4/+18 |
* | srsd | David Monniaux | 2019-04-29 | 2 | -16/+10 |
* | forgot in oracle | David Monniaux | 2019-04-29 | 1 | -0/+2 |
* | begin using shrx | David Monniaux | 2019-04-29 | 2 | -29/+10 |
* | Srsd / Srsw | David Monniaux | 2019-04-29 | 6 | -5/+55 |
* | insfl generation | David Monniaux | 2019-04-29 | 2 | -0/+86 |
* | 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 |
* | 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 | 7 | -31/+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 | 5 | -4/+147 |
* | start of extfzl/extfsl | David Monniaux | 2019-04-25 | 5 | -6/+17 |
* | simplify proof slightlyv3.5_k1c_1.1 | David Monniaux | 2019-04-25 | 1 | -20/+16 |
* | read from bit fields | David Monniaux | 2019-04-25 | 2 | -5/+21 |
* | progress | David Monniaux | 2019-04-25 | 10 | -8/+90 |
* | IT COMPILES | David Monniaux | 2019-04-25 | 6 | -40/+43 |
* | 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 | 5 | -1/+11 |
* | make_prologue à part | David Monniaux | 2019-04-24 | 2 | -6/+9 |
* | dirty fix for issue #112 | David Monniaux | 2019-04-13 | 1 | -3/+7 |
* | 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 |
* | some more simplification | David Monniaux | 2019-04-12 | 2 | -0/+7 |
* | some more simplifications | David Monniaux | 2019-04-12 | 2 | -0/+7 |