aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | NeedOp advancingDavid Monniaux2019-03-251-0/+43
* | | | better Op select/selectlDavid Monniaux2019-03-251-32/+24
* | | | progressing on select/selectlDavid Monniaux2019-03-252-0/+12
* | | | going forward with select/selectlDavid Monniaux2019-03-251-12/+26
* | | | begin ternaryDavid Monniaux2019-03-242-1/+49
* | | | Merge branch 'mppa-mul' into mppa-ternaryDavid Monniaux2019-03-24219-5819/+54280
|\| | | | |/ / |/| |
| * | 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
| | | |\ \
| | * | | | 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
| | |\ \ \
| * | | | | 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
| |\ \ \ \
| * \ \ \ \ 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
| * | | | | Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-203-8/+49
| |\ \ \ \ \
| | * | | | | Proving eval_divs_baseCyril SIX2019-03-203-8/+49
generated by cgit (git 2.34.1) at 2024-07-11 19:36:24 +0000