aboutsummaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-09-25 11:03:32 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-09-25 11:03:32 +0200
commitd70a3ff650fcaa6f4247c4ae6173cd97a50eb00d (patch)
treeca03dcdfb9fcfd00a7ea68ac6bcb1e203b63bd06 /tools
parent2e056d91b45d9c2d8302bed201ad3c30b7fc98ed (diff)
downloadcompcert-kvx-d70a3ff650fcaa6f4247c4ae6173cd97a50eb00d.tar.gz
compcert-kvx-d70a3ff650fcaa6f4247c4ae6173cd97a50eb00d.zip
Stub for builtins-mppa_k1c.c
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions