diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-03-21 15:22:46 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-04-06 15:16:11 +0200 |
| commit | 6ce07727bcf4e330f897d9461a924334a0f0980e (patch) | |
| tree | 96550377c581d69a61f89069175497dbe7cf725d /driver/Driver.ml | |
| parent | 8d4562d4d3bebb9c62374beaf39d8327acdc647d (diff) | |
| download | compcert-6ce07727bcf4e330f897d9461a924334a0f0980e.tar.gz compcert-6ce07727bcf4e330f897d9461a924334a0f0980e.zip | |
attempt to optimize empty if/then/else statements
Diffstat (limited to 'driver/Driver.ml')
0 files changed, 0 insertions, 0 deletions