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 /common/AST.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 'common/AST.v')
0 files changed, 0 insertions, 0 deletions