| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | experiments with ternary operator | David Monniaux | 2019-03-24 | 1 | -1/+6 |
| * | experiments with ternary | David Monniaux | 2019-03-24 | 4 | -1526/+36 |
| * | another ternary implementation | David Monniaux | 2019-03-24 | 1 | -1/+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 |
| * | simpler Makefiles | David Monniaux | 2019-03-12 | 1 | -0/+12 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |