Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixed printf -> Abc_Print in some places.
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
avl | Loading commit data... | |
bar | Loading commit data... | |
bbl | Loading commit data... | |
bzlib | Loading commit data... | |
espresso | Loading commit data... | |
ext | Loading commit data... | |
extra | Loading commit data... | |
hash | Loading commit data... | |
mem | Loading commit data... | |
mvc | Loading commit data... | |
nm | Loading commit data... | |
st | Loading commit data... | |
tim | Loading commit data... | |
util | Loading commit data... | |
vec | Loading commit data... | |
zlib | Loading commit data... |