Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | match some 'and' | David Monniaux | 2019-03-27 | 2 | -4/+16 |
| | |||||
* | essai du cmove | David Monniaux | 2019-03-27 | 3 | -3/+30 |
| | |||||
* | ternary transfo | David Monniaux | 2019-03-26 | 2 | -1/+37 |
| | |||||
* | ternary unsigned | David Monniaux | 2019-03-26 | 1 | -0/+7 |
| | |||||
* | demo ternary op | David Monniaux | 2019-03-24 | 2 | -0/+49 |
| | |||||
* | mysteriously slow code | David Monniaux | 2019-03-24 | 2 | -0/+70 |
| | |||||
* | encore un essai de creduce | David Monniaux | 2019-03-23 | 3 | -0/+1561 |
| | |||||
* | system for comparing speeds | David Monniaux | 2019-03-23 | 1 | -0/+12 |
| | |||||
* | bitsliced AES in one file | David Monniaux | 2019-03-23 | 1 | -10/+85 |
| | |||||
* | Test in one file only. | David Monniaux | 2019-03-23 | 1 | -0/+1467 |
| | |||||
* | for testing with quest | David Monniaux | 2019-03-22 | 1 | -0/+24 |
| | |||||
* | check that gcc and ccomp compiled k1c code return the same | David Monniaux | 2019-03-22 | 1 | -2/+6 |
| | |||||
* | improved testing | David Monniaux | 2019-03-22 | 1 | -5/+16 |
| | |||||
* | some more testing | David Monniaux | 2019-03-22 | 1 | -1/+1 |
| | |||||
* | uses yarpgen random generator | David Monniaux | 2019-03-22 | 1 | -0/+37 |
| | |||||
* | better patch for running the test suite | David Monniaux | 2019-03-22 | 1 | -0/+13 |
| | |||||
* | Now we have division, simplify the patch. | David Monniaux | 2019-03-22 | 1 | -50/+0 |
| | |||||
* | csmith for testing | David Monniaux | 2019-03-20 | 1 | -0/+23 |
| | |||||
* | Makefile for ocamlrun testing | David Monniaux | 2019-03-20 | 1 | -0/+7 |
| | |||||
* | ocaml byterunner example | David Monniaux | 2019-03-20 | 119 | -0/+45174 |
| | |||||
* | rm need for gcc | David Monniaux | 2019-03-20 | 2 | -4/+2 |
| | |||||
* | use the original source codes | David Monniaux | 2019-03-20 | 30 | -5528/+5235 |
| | |||||
* | picomus compile aussi | David Monniaux | 2019-03-20 | 1 | -1/+1 |
| | |||||
* | picosat fonctionne | David Monniaux | 2019-03-20 | 2 | -3/+7 |
| | |||||
* | vire des scories INT_DIV et INT_MOD | David Monniaux | 2019-03-20 | 5 | -6/+6 |
| | |||||
* | maddl / maddlim are synthesized (but not for pointers it seems) | David Monniaux | 2019-03-20 | 2 | -5/+21 |
| | |||||
* | mul immediate begin | David Monniaux | 2019-03-19 | 1 | -0/+4 |
| | |||||
* | seems to work | David Monniaux | 2019-03-19 | 1 | -0/+7 |
| | |||||
* | test for madd | David Monniaux | 2019-03-19 | 1 | -0/+9 |
| | |||||
* | andn / orn long complete I think | David Monniaux | 2019-03-18 | 1 | -0/+16 |
| | |||||
* | stats on chunks etc. | David Monniaux | 2019-03-17 | 1 | -3/+5 |
| | |||||
* | isolate the slow part | David Monniaux | 2019-03-17 | 2 | -3/+4 |
| | |||||
* | experiments on what's slow | David Monniaux | 2019-03-17 | 1 | -136/+12 |
| | |||||
* | longer tests | David Monniaux | 2019-03-17 | 1 | -1/+5 |
| | |||||
* | compactify unrolled code | David Monniaux | 2019-03-17 | 1 | -143/+26 |
| | |||||
* | expand h | David Monniaux | 2019-03-17 | 1 | -17/+33 |
| | |||||
* | expand h | David Monniaux | 2019-03-17 | 1 | -17/+33 |
| | |||||
* | the inliner is rotten | David Monniaux | 2019-03-16 | 1 | -26/+44 |
| | |||||
* | long nand, nor, nxor | David Monniaux | 2019-03-16 | 1 | -5/+7 |
| | |||||
* | nxor | David Monniaux | 2019-03-16 | 1 | -1/+5 |
| | |||||
* | nor implemente | David Monniaux | 2019-03-16 | 1 | -1/+5 |
| | |||||
* | nand is implemented | David Monniaux | 2019-03-16 | 1 | -0/+11 |
| | |||||
* | some more nand | David Monniaux | 2019-03-16 | 1 | -0/+3 |
| | |||||
* | 32-bit rotate finished | David Monniaux | 2019-03-16 | 1 | -0/+10 |
| | |||||
* | le Makefile passe | David Monniaux | 2019-03-14 | 1 | -2/+11 |
| | |||||
* | test for memcpy builtin | David Monniaux | 2019-03-13 | 1 | -0/+15 |
| | |||||
* | with timing | David Monniaux | 2019-03-13 | 2 | -2/+7 |
| | |||||
* | -fpostpass-ilp | David Monniaux | 2019-03-12 | 2 | -9/+2 |
| | |||||
* | better tracing for ILP + make clean | David Monniaux | 2019-03-12 | 1 | -0/+5 |
| | |||||
* | forgot a free() | David Monniaux | 2019-03-12 | 1 | -0/+1 |
| |