diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-12 13:32:23 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-02-12 14:38:59 +0100 |
| commit | d2c5701fb538ec175b3fa2266d795ba63d795b3b (patch) | |
| tree | 12e1b0b2aa0929f5bec4f8d8d2e0e8f90c10ed7a /arm/ConstpropOpproof.v | |
| parent | 26a4436b9d1b6916d67ee35d00a7120603a3bc9c (diff) | |
| download | compcert-kvx-d2c5701fb538ec175b3fa2266d795ba63d795b3b.tar.gz compcert-kvx-d2c5701fb538ec175b3fa2266d795ba63d795b3b.zip | |
Switching the cases seems to work on x86_32
Diffstat (limited to 'arm/ConstpropOpproof.v')
0 files changed, 0 insertions, 0 deletions