diff options
| author | Brian Campbell | 2019-03-07 11:58:43 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-07 11:59:26 +0000 |
| commit | 21043d3e70279109d7c721735d83c084d25784e2 (patch) | |
| tree | 4e63f8b3727e5de2a79922799e97e855c61b9b83 /src/bytecode_util.ml | |
| parent | dc60b5018596669090b5d6761f24b2e8801546e9 (diff) | |
Add a rewrite to remove impossible cases on integer literals
(e.g., for the dual 32/64 bit RISC-V model)
Apply this rewrite in Coq backend.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions