Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | 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 | |
|/ | ||||||
* | Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer... | David Monniaux | 2019-03-22 | 85 | -17/+259 | |
|\ | ||||||
| * | Rajout de tests test/mppa pour division/modulo | Cyril SIX | 2019-03-22 | 6 | -0/+34 | |
| * | Merge branch 'mppa_postpass' into mppa-mul | Cyril SIX | 2019-03-22 | 82 | -30/+238 | |
| |\ | ||||||
| | * | Reorganized the test/mppa/ tests to have fewer of them | Cyril SIX | 2019-03-22 | 82 | -30/+238 | |
* | | | 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 | |
|/ | ||||||
* | Merge branch 'mppa-madd' into mppa_postpass | David Monniaux | 2019-03-20 | 2 | -5/+21 | |
|\ | ||||||
| * | maddl / maddlim are synthesized (but not for pointers it seems) | David Monniaux | 2019-03-20 | 2 | -5/+21 | |
* | | Merge branch 'mppa-madd' into mppa_postpass | David Monniaux | 2019-03-19 | 2 | -0/+20 | |
|\| | ||||||
| * | 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 | |
* | | Replacing all the - by * : it works! | Cyril SIX | 2019-03-19 | 2 | -185/+185 | |
* | | Trying to replace all the + by - | Cyril SIX | 2019-03-19 | 2 | -185/+185 | |
* | | [TEST BROKEN] Trying to replace some int by float in stackhell interop test | Cyril SIX | 2019-03-19 | 3 | -68/+69 | |
* | | Small improvements to interop test Makefile | Cyril SIX | 2019-03-19 | 2 | -4/+33 | |
|/ | ||||||
* | 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 |