diff options
| author | Alasdair Armstrong | 2019-06-05 16:59:49 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-05 17:03:32 +0100 |
| commit | 8987f87adde194de55b5c11de00320c6a541ebfc (patch) | |
| tree | ae64b286372ffd2a67dbac5e29faea8acb55e8ed /src/jib/jib_smt.mli | |
| parent | c764daadc0e7138173ddb0895298dae846a7d8b6 (diff) | |
Fix: Make sure we check Jib types match for operators before optimizing
Insert coercions for AV_cval if neccessary
Simplify any n in 2 ^ n, to make sure we can always evaluate 2 ^ n when
n is a constant before passing it to the SMT solver.
Diffstat (limited to 'src/jib/jib_smt.mli')
0 files changed, 0 insertions, 0 deletions