diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-23 20:37:22 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-23 20:37:22 +0200 |
commit | 30e41117b57ab20beb1876e38c26dbddc5a58dfb (patch) | |
tree | dcaced16b069b11bf458fd7551cef5856544a5db /backend | |
parent | 3e6844222d39b8a76bf0af20b9cbb0dfa2e35b5a (diff) | |
download | compcert-kvx-30e41117b57ab20beb1876e38c26dbddc5a58dfb.tar.gz compcert-kvx-30e41117b57ab20beb1876e38c26dbddc5a58dfb.zip |
splitting is_expand property with a weak version for conditions
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions