aboutsummaryrefslogtreecommitdiffstats
path: root/kvx
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2020-12-02 15:36:17 +0100
committerCyril SIX <cyril.six@kalray.eu>2020-12-02 15:36:17 +0100
commitabae3de5118a4741ae1c2350a3e75b6e0a84a57d (patch)
tree96f5559905454b66192e84e75c7a63ac70b91ee5 /kvx
parented8aec9f9fb259fe218d2d29efa3c8cc85ef93f1 (diff)
downloadcompcert-kvx-abae3de5118a4741ae1c2350a3e75b6e0a84a57d.tar.gz
compcert-kvx-abae3de5118a4741ae1c2350a3e75b6e0a84a57d.zip
Slight perf improvement
Diffstat (limited to 'kvx')
0 files changed, 0 insertions, 0 deletions