After reading the SV spec, using non-standard predict() instead of expect()
authorClifford Wolf <clifford@clifford.at>
Thu, 21 Jul 2016 11:34:33 +0000 (13:34 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 21 Jul 2016 11:34:33 +0000 (13:34 +0200)
commitd7763634b68a735443c61aa32918ee0cdd6e9250
treed04a1d072d727d0776c42f68668785403cc92bf5
parent721f1f5ecfb6334904f6058d6d376d21b5efc438
After reading the SV spec, using non-standard predict() instead of expect()
16 files changed:
README
examples/smtbmc/demo1.v
frontends/ast/ast.cc
frontends/ast/ast.h
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc
frontends/verilog/verilog_lexer.l
frontends/verilog/verilog_parser.y
kernel/celltypes.h
kernel/rtlil.cc
kernel/satgen.h
manual/CHAPTER_CellLib.tex
passes/hierarchy/hierarchy.cc
passes/opt/opt_clean.cc
passes/tests/test_cell.cc
techlibs/common/simlib.v