diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-05-11 08:47:02 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-11 08:47:02 -0700 |
| commit | 1e0ff61c96c455287fd7986ce353dc2754f85d4f (patch) | |
| tree | c7ed06c967361829a9c01c02389cd1cadb2a60c8 /licenses | |
| parent | 5e2366d542e17ba5064a56f2581ada99c0046ddc (diff) | |
Fix ackermannize preprocessing pass. (#1904)
Ackermannization did not consider cases where UF are Boolean. Model generation is
still not supported, but now guarded against when bit-vectors are combined with arrays
and/or uninterpreted functions and --bitblast=eager.
Diffstat (limited to 'licenses')
0 files changed, 0 insertions, 0 deletions