diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-09-19 10:27:13 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-09-19 10:27:13 -0700 |
commit | 3a1705e8bb336ee373345701f75c94a7a1455304 (patch) | |
tree | 60ef0c43c9225f8e9a628167a177a78176d5f042 /src/sat/bmc/bmcBmcS.c | |
parent | 395614a4dd8bcdd7db2071ac120b8bc0e052808c (diff) | |
download | abc-3a1705e8bb336ee373345701f75c94a7a1455304.tar.gz abc-3a1705e8bb336ee373345701f75c94a7a1455304.tar.bz2 abc-3a1705e8bb336ee373345701f75c94a7a1455304.zip |
Adding option 'gen -b' to generate signed Booth multipliers.
Diffstat (limited to 'src/sat/bmc/bmcBmcS.c')
0 files changed, 0 insertions, 0 deletions