diff options
| author | Brian Campbell | 2019-02-14 11:31:35 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-14 11:31:35 +0000 |
| commit | b8fa1b62c114e030f2dcdc58d7df01ae2308b6d4 (patch) | |
| tree | d80b75470d63d97167989491f807824b53e984b8 /src/specialize.ml | |
| parent | 33c27c9a4e30f6b3532aeeed0d72b0331c943d8b (diff) | |
Coq: special case printing of bind-if-then-else trees for decoding
Reduces the current arm model output from 268MB to 15MB.
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions