Using log_assert() instead of assert()
authorClifford Wolf <clifford@clifford.at>
Mon, 28 Jul 2014 09:08:55 +0000 (11:08 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 28 Jul 2014 09:27:48 +0000 (11:27 +0200)
commit7bd2d1064f2eceddc3c93c121c4154a2f594a040
tree563de1df5e323d0f217a51e29acb56c9e9f1327d
parentd86a25f145012ccb6b2048af3aae22f13b97b505
Using log_assert() instead of assert()
52 files changed:
backends/blif/blif.cc
backends/btor/btor.cc
backends/edif/edif.cc
backends/ilang/ilang_backend.cc
backends/intersynth/intersynth.cc
backends/spice/spice.cc
backends/verilog/verilog_backend.cc
frontends/ast/ast.cc
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc
frontends/verific/verific.cc
frontends/verilog/const2ast.cc
frontends/verilog/preproc.cc
frontends/verilog/verilog_frontend.cc
frontends/vhdl2verilog/vhdl2verilog.cc
kernel/bitpattern.h
kernel/calc.cc
kernel/celltypes.h
kernel/consteval.h
kernel/driver.cc
kernel/log.cc
kernel/log.h
kernel/register.cc
kernel/rtlil.cc
kernel/rtlil.h
kernel/satgen.h
kernel/sigtools.h
passes/abc/abc.cc
passes/cmds/scc.cc
passes/cmds/select.cc
passes/cmds/show.cc
passes/fsm/fsm_expand.cc
passes/fsm/fsm_extract.cc
passes/hierarchy/hierarchy.cc
passes/hierarchy/submod.cc
passes/memory/memory_collect.cc
passes/memory/memory_dff.cc
passes/memory/memory_map.cc
passes/memory/memory_unpack.cc
passes/opt/opt_clean.cc
passes/opt/opt_const.cc
passes/opt/opt_muxtree.cc
passes/opt/opt_reduce.cc
passes/opt/opt_share.cc
passes/proc/proc_dff.cc
passes/proc/proc_init.cc
passes/proc/proc_mux.cc
passes/proc/proc_rmdead.cc
passes/sat/sat.cc
passes/techmap/extract.cc
passes/techmap/simplemap.cc
passes/techmap/techmap.cc