diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 12:30:49 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 12:30:49 +0200 |
| commit | 56249c0fa5aa96767ce3fd9be76b8a9e7bef0231 (patch) | |
| tree | 11cd3ca4eeec4c49c6b42d6f032b0fcaf1e8dd58 /test/monniaux/clock.c | |
| parent | 6a267e0bce732e68ab5e5b6c971ba5e0fe226719 (diff) | |
| download | compcert-kvx-56249c0fa5aa96767ce3fd9be76b8a9e7bef0231.tar.gz compcert-kvx-56249c0fa5aa96767ce3fd9be76b8a9e7bef0231.zip | |
some more simplifications
Diffstat (limited to 'test/monniaux/clock.c')
0 files changed, 0 insertions, 0 deletions