aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-09-19 17:59:08 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-09-19 17:59:08 +0200
commit371fc75ba09f7c1e7ea11ec4fe4e04aca05b5bef (patch)
treea2dd70f5e2b62357134848c179c845f061f4972f /runtime
parent7f1025fa2da08e68b839b7b6ea89771822dcfe83 (diff)
downloadcompcert-kvx-371fc75ba09f7c1e7ea11ec4fe4e04aca05b5bef.tar.gz
compcert-kvx-371fc75ba09f7c1e7ea11ec4fe4e04aca05b5bef.zip
Adding some function calls in interop tests
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions