diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-04 18:09:41 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-04 18:09:41 -0700 |
commit | ee17cbbf4b029c0022c9ce3f343c1a7a00b4163b (patch) | |
tree | 33b7358e4ae81039b5d1da7773bf354a6f479773 /src/aig/gia/giaBidec.c | |
parent | ac7a799076e3f2184aae74a55062e02e330c78eb (diff) | |
download | abc-ee17cbbf4b029c0022c9ce3f343c1a7a00b4163b.tar.gz abc-ee17cbbf4b029c0022c9ce3f343c1a7a00b4163b.tar.bz2 abc-ee17cbbf4b029c0022c9ce3f343c1a7a00b4163b.zip |
Supporting negative and reverse ranges of word-level variables in Wlc.
Diffstat (limited to 'src/aig/gia/giaBidec.c')
0 files changed, 0 insertions, 0 deletions