abc is failing to compile on ppc64le because char is unsigned by default: src/misc/extra/extraUtilMisc.c: In function ‘void abc::Extra_TruthExpand(int, int, unsigned int*, unsigned int, unsigned int*)’: src/misc/extra/extraUtilMisc.c:1550:5: error: narrowing conversion of ‘-1’ from ‘int’ to ‘char’ inside { } [-Wnarrowing]
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
aig | Loading commit data... | |
base | Loading commit data... | |
bdd | Loading commit data... | |
bool | Loading commit data... | |
map | Loading commit data... | |
misc | Loading commit data... | |
opt | Loading commit data... | |
phys/place | Loading commit data... | |
proof | Loading commit data... | |
sat | Loading commit data... | |
demo.c | Loading commit data... | |
generic.c | Loading commit data... | |
generic.h | Loading commit data... | |
starter.c | Loading commit data... | |
template.c | Loading commit data... |