Added ENABLE_NDEBUG makefile options
authorClifford Wolf <clifford@clifford.at>
Sat, 24 Jan 2015 11:16:46 +0000 (12:16 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 24 Jan 2015 11:16:46 +0000 (12:16 +0100)
commit2a9ad48eb63a5f019c528fe46ceca0065364a44d
treea84eec02de3e555ca502d9fc4cdc2d9ca66b203c
parent8fe9ab50e51204e5709eaad0fbf2ffb5397a0194
Added ENABLE_NDEBUG makefile options
12 files changed:
Makefile
backends/btor/btor.cc
backends/ilang/ilang_backend.cc
frontends/ast/simplify.cc
kernel/log.h
kernel/macc.h
kernel/modtools.h
kernel/yosys.cc
libs/ezsat/ezsat.cc
passes/opt/share.cc
passes/techmap/dfflibmap.cc
passes/tests/test_abcloop.cc