aboutsummaryrefslogtreecommitdiffstats
path: root/kvx
Commit message (Expand)AuthorAgeFilesLines
* CLEAN THE PREVIOUS COMMIT !Sylvain Boulmé2020-11-181-69/+73
* TMP COMMIT: add debug traces in AbstractBB (in case of success)Sylvain Boulmé2020-11-171-11/+27
* Preparation for postpass in aarch64 and refactoringLéo Gourdin2020-11-021-0/+0
* Merge branch 'kvx-work' into aarch64_block_bodystarSylvain Boulmé2020-10-2131-1048/+1073
|\
| * centralize if_sameDavid Monniaux2020-10-091-6/+0
| * do not synthesize select if both operands are identicalDavid Monniaux2020-10-092-7/+22
| * simpl -> cbnDavid Monniaux2020-09-2923-793/+789
| * use scheduler_by_nameDavid Monniaux2020-09-103-9/+11
| * fix issue 198 (incorrect reservation table for multiply-add)David Monniaux2020-09-021-5/+5
| * "nop" is not even printed out and thus uses no resourcesDavid Monniaux2020-09-011-13/+21
| * clean solution to close channelsDavid Monniaux2020-08-311-21/+24
| * fix problem with some file descriptors possibly never getting closedDavid Monniaux2020-08-311-4/+10
| * links to the impure library on githubSylvain Boulmé2020-07-311-1/+2
| * Improving Coqdoc on abstractbbSylvain Boulmé2020-07-314-46/+71
| * Improving the coqdocSylvain Boulmé2020-07-297-165/+140
| * fix commentSylvain Boulmé2020-06-211-1/+1
* | replace exec_body_simulation_star' by exec_body_simulation_plus_genSylvain Boulmé2020-10-161-1/+12
* | restauring Coq compilation with STUBSSylvain Boulmé2020-06-222-2/+7
* | Merge branch 'kvx-work' into PseudoAsmblockSylvain Boulmé2020-06-194-0/+1569
|/
* k1c -> kvx changesDavid Monniaux2020-05-2677-0/+34545
generated by cgit (git 2.34.1) at 2024-06-03 02:20:14 +0000