diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-04-03 17:45:15 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-04-03 17:45:15 +0200 |
| commit | 8d4562d4d3bebb9c62374beaf39d8327acdc647d (patch) | |
| tree | 186d72ff2c1c9a420dc24d1a7e54c7802e7bf988 /cfrontend/SimplExpr.v | |
| parent | 0b4bcebe701b9cf8756f583768831ad48a7cc79e (diff) | |
| download | compcert-kvx-8d4562d4d3bebb9c62374beaf39d8327acdc647d.tar.gz compcert-kvx-8d4562d4d3bebb9c62374beaf39d8327acdc647d.zip | |
Replace 'decide equality' in powerpc/Op.v. Bug 21332
Diffstat (limited to 'cfrontend/SimplExpr.v')
0 files changed, 0 insertions, 0 deletions