diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 12:45:59 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 12:59:43 +0000 |
commit | c49caca4b5f0239b43610fbfe012d6ba0211b364 (patch) | |
tree | d7e0a80528c04a8dc99ad436ba652ef31eaaeb1f /cparser/validator/Main.v | |
parent | 48a9dcbdc968bcf05b4eec17b8c7fd471fb80240 (diff) | |
download | compcert-c49caca4b5f0239b43610fbfe012d6ba0211b364.tar.gz compcert-c49caca4b5f0239b43610fbfe012d6ba0211b364.zip |
No inline when no load and store are present
Acked-by: Yann Herklotz <git@yannherklotz.com>
Diffstat (limited to 'cparser/validator/Main.v')
0 files changed, 0 insertions, 0 deletions