diff options
| author | Michael Schmidt <github@mschmidt.me> | 2019-07-05 16:12:54 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-05 16:57:32 +0200 |
| commit | 5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310 (patch) | |
| tree | 1d815de9d90a603380e6d13f8333d0000e3fb5df /MenhirLib | |
| parent | 467eb744ae2e7d913744c04866fa3e1a4558cdbe (diff) | |
| download | compcert-kvx-5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310.tar.gz compcert-kvx-5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310.zip | |
Update synonymous list for -O0, add new named warning class
Diffstat (limited to 'MenhirLib')
0 files changed, 0 insertions, 0 deletions