Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | improvements on cmoved etc. | David Monniaux | 2019-03-27 | 1 | -4/+11 | |
* | | | work on ternary | David Monniaux | 2019-03-27 | 2 | -8/+21 | |
* | | | hand optimized | David Monniaux | 2019-03-27 | 2 | -0/+3271 | |
* | | | 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 |