aboutsummaryrefslogtreecommitdiffstats
path: root/kvx/Asm.v
Commit message (Expand)AuthorAgeFilesLines
* Asm levelDavid Monniaux2021-12-121-0/+12
* Fixing test/regression for KVXv3.8_kvxCyril SIX2020-12-071-0/+3
* Fixing compilation for KVXCyril SIX2020-12-041-0/+3
* still issues with FR in kvxDavid Monniaux2020-12-031-2/+1
* simpl -> cbnDavid Monniaux2020-09-291-20/+20
* Improving the coqdocSylvain Boulmé2020-07-291-4/+6
* k1c -> kvx changesDavid Monniaux2020-05-261-0/+751