New aiger backend #775

Annotations

9 warnings

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

autoconf 2.72 is already installed and up-to-date. To reinstall 2.72, run: brew reinstall autoconf

HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

variable 'noinit_mode' set but not used [-Wunused-but-set-variable]

comparison of integers of different signs: '(anonymous namespace)::AigerWriter::Lit' (aka 'unsigned int') and 'int' [-Wsign-compare]

variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]

variable 'noinit_mode' set but not used [-Wunused-but-set-variable]

comparison of integers of different signs: '(anonymous namespace)::AigerWriter::Lit' (aka 'unsigned int') and 'int' [-Wsign-compare]

variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]