diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-11 14:26:28 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-11 14:26:28 +0100 |
commit | d9f17c66b52dc49ced37b0a792eb638d7124ffcd (patch) | |
tree | 2875daad6f5487e205261d5efffc67f4a065e1f2 /test/monniaux/division/cycles.h | |
parent | 54dea0fc061f5daee5976450ec84ddb7e15c5db9 (diff) | |
download | compcert-kvx-d9f17c66b52dc49ced37b0a792eb638d7124ffcd.tar.gz compcert-kvx-d9f17c66b52dc49ced37b0a792eb638d7124ffcd.zip |
experiments in division
Diffstat (limited to 'test/monniaux/division/cycles.h')
l--------- | test/monniaux/division/cycles.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/division/cycles.h b/test/monniaux/division/cycles.h new file mode 120000 index 00000000..84e54d21 --- /dev/null +++ b/test/monniaux/division/cycles.h @@ -0,0 +1 @@ +../cycles.h
\ No newline at end of file |