diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-05-01 21:18:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-01 21:18:55 -0700 |
commit | 8236d7f9bff3aef4f7b37a15d509b8a11551401f (patch) | |
tree | bb0e06ea470d84f8462d3d84ba2f4f52fb90d45f /THANKS | |
parent | 3090c2d241e48ec40cc780ca7a1e82596724c474 (diff) |
SMT-COMP 2020: Enable --fp-exp for new FP logics. (#4432)
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions