aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | Integrating Asmvliw.v in the proof chainCyril SIX2019-03-204-17/+30
| | * | | | Idée de preuve VLIWCyril SIX2019-03-181-2/+21
| | * | | | fix the step_internal of AsmvliwSylvain Boulmé2019-03-141-19/+23
| | * | | | definition of VLIW semanticsSylvain Boulmé2019-03-143-14/+342
| * | | | | check that gcc and ccomp compiled k1c code return the sameDavid Monniaux2019-03-221-2/+6
| * | | | | improved testingDavid Monniaux2019-03-221-5/+16
| * | | | | uses yarpgen random generatorDavid Monniaux2019-03-221-0/+37
| * | | | | FIX BUG in TargetPrinter (nandd immediate wrongly printed as andd)David Monniaux2019-03-221-1/+1
* | | | | | some more ternaryDavid Monniaux2019-03-241-6/+6
* | | | | | 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
generated by cgit (git 2.34.1) at 2024-07-12 01:24:41 +0000