New aiger backend #822
Annotations
10 warnings
|
Build C++17:
frontends/aiger2/xaiger.cc#L188
format specifies type 'int' but the argument has type 'std::vector::size_type' (aka 'unsigned long') [-Wformat]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L182
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L182
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L322
format specifies type 'int' but the argument has type 'std::vector::size_type' (aka 'unsigned long') [-Wformat]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L316
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L316
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L91
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L113
comparison of integers of different signs: 'int' and 'std::vector::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L143
comparison of integers of different signs: 'int' and 'std::vector::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
Build C++17:
frontends/aiger2/xaiger.cc#L154
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
Loading