| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| * | et hop un Makefile pour les matrices complexes | David Monniaux | 2019-03-12 | 2 | -0/+12 |
| * | some more optimized complex matrix | David Monniaux | 2019-03-12 | 1 | -12/+9 |
| * | easier for clocking directly from ccomp files | David Monniaux | 2019-03-12 | 2 | -0/+5 |
| * | some more work on complex matrices | David Monniaux | 2019-03-12 | 1 | -8/+195 |
| * | some more about complex numbers | David Monniaux | 2019-03-11 | 1 | -8/+49 |
| * | wrong directory, fixed | David Monniaux | 2019-03-11 | 1 | -0/+0 |
| * | et hop un Makefile | David Monniaux | 2019-03-11 | 1 | -0/+9 |
| * | complex numbers attempt | David Monniaux | 2019-03-10 | 1 | -0/+22 |
| * | test code for jump tables | David Monniaux | 2019-03-10 | 1 | -0/+34 |
| * | varargs | David Monniaux | 2019-03-10 | 1 | -18/+0 |
| * | forgot the Makefile | David Monniaux | 2019-03-10 | 1 | -0/+18 |
| * | test for volatiles | David Monniaux | 2019-03-10 | 1 | -0/+33 |
| * | volatile stores | David Monniaux | 2019-03-10 | 2 | -2/+2 |
| * | demo for volatile | David Monniaux | 2019-03-09 | 2 | -9/+28 |
| * | program for testing volatiles | David Monniaux | 2019-03-09 | 1 | -0/+32 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |