aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* experiments with ternary operatorDavid Monniaux2019-03-241-1/+6
* experiments with ternaryDavid Monniaux2019-03-244-1526/+36
* another ternary implementationDavid Monniaux2019-03-241-1/+7
* demo ternary opDavid Monniaux2019-03-242-0/+49
* mysteriously slow codeDavid Monniaux2019-03-242-0/+70
* encore un essai de creduceDavid Monniaux2019-03-233-0/+1561
* system for comparing speedsDavid Monniaux2019-03-231-0/+12
* bitsliced AES in one fileDavid Monniaux2019-03-231-10/+85
* Test in one file only.David Monniaux2019-03-231-0/+1467
* for testing with questDavid Monniaux2019-03-221-0/+24
* passage de structures en varargs (fonctionne avec une convention "passage par...David Monniaux2019-03-221-0/+3
* Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-223-2/+54
|\
| * check that gcc and ccomp compiled k1c code return the sameDavid Monniaux2019-03-221-2/+6
| * FIX BUG in TargetPrinter (nandd immediate wrongly printed as andd)David Monniaux2019-03-221-1/+1
| * improved testingDavid Monniaux2019-03-221-5/+16
| * some more testingDavid Monniaux2019-03-221-1/+1
| * uses yarpgen random generatorDavid Monniaux2019-03-221-0/+37
* | Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-22136-877/+595
|\|
| * Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-2285-17/+259
| |\
| | * Rajout de tests test/mppa pour division/moduloCyril SIX2019-03-226-0/+34
| | * Merge branch 'mppa_postpass' into mppa-mulCyril SIX2019-03-2282-30/+238
| | |\
| | | * Reorganized the test/mppa/ tests to have fewer of themCyril SIX2019-03-2282-30/+238
| * | | better patch for running the test suiteDavid Monniaux2019-03-221-0/+13
| * | | Now we have division, simplify the patch.David Monniaux2019-03-221-50/+0
| |/ /
| * | rm Pdiv / PdivuDavid Monniaux2019-03-226-66/+1
| * | Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-224-3/+36
| |\ \
| | * | Risc-V works again (32/64).David Monniaux2019-03-224-3/+36
| * | | seems like powerpc runs but the result segfaultsDavid Monniaux2019-03-224-3/+36
| |/ /
| * | ARM repasseDavid Monniaux2019-03-224-3/+36
| * | restructuration pour compilation toute archiDavid Monniaux2019-03-223-1/+5
| * | ça recompile sur x86David Monniaux2019-03-2215-110/+166
| * | Merge branch 'mppa_postpass' into mppa-mulDavid Monniaux2019-03-2215-624/+43
| |\|
| | * I think it should now compile for all architectures.David Monniaux2019-03-221-613/+0
| | * try to be portable across archsDavid Monniaux2019-03-2114-11/+43
* | | rm tests inherited from Risc-VDavid Monniaux2019-03-201-30/+5
|/ /
* | csmith for testingDavid Monniaux2019-03-201-0/+23
* | Makefile for ocamlrun testingDavid Monniaux2019-03-201-0/+7
* | ocaml byterunner exampleDavid Monniaux2019-03-20119-0/+45174
* | Merge branch 'mppa_postpass' into mppa-mulDavid Monniaux2019-03-202-9/+8
|\|
| * XLeroy's suggested fix for shared float/int register file.David Monniaux2019-03-202-5/+5
| * Revert "Better fix for register allocation?"David Monniaux2019-03-201-4/+3
* | Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-202-9/+24
|\ \
| * | Proof of div32/mod32/divf32/divf64 lemmasCyril SIX2019-03-202-9/+24
* | | rm need for gccDavid Monniaux2019-03-202-4/+2
|/ /
* | use the original source codesDavid Monniaux2019-03-2030-5528/+5235
* | picomus compile aussiDavid Monniaux2019-03-201-1/+1
* | picosat fonctionneDavid Monniaux2019-03-202-3/+7
* | la division flottante fonctionneDavid Monniaux2019-03-208-14/+67
* | begin float divisionDavid Monniaux2019-03-202-3/+7
* | vire des scories INT_DIV et INT_MODDavid Monniaux2019-03-205-6/+6
generated by cgit (git 2.34.1) at 2024-07-06 15:50:43 +0000