EBMC release 4.4
187 views
Skip to first unread message
Daniel Kroening
Jul 3, 2017, 4:53:18 PM7/3/17
to cpr...@googlegroups.com
I have uploaded a new release (4.4) of EBMC. This release adds a major
new feature, which is an (unbounded) BDD-based engine. Support for
System Verilog Assertions has been extended.
EBMC 4.4 is available in binary form at the following locations:
Linux x64: http://www.cprover.org/ebmc/download/ebmc-4-4-linux-64.tgz
Windows x64: http://www.cprover.org/ebmc/download/ebmc-4-4-win-64.zip
We no longer distribute 32-bit binaries.
new feature, which is an (unbounded) BDD-based engine. Support for
System Verilog Assertions has been extended.
EBMC 4.4 is available in binary form at the following locations:
Linux x64: http://www.cprover.org/ebmc/download/ebmc-4-4-linux-64.tgz
Windows x64: http://www.cprover.org/ebmc/download/ebmc-4-4-win-64.zip
We no longer distribute 32-bit binaries.
Reply all
Reply to author
Forward
0 new messages