CBMC Release Upcoming

已查看 35 次
跳至第一个未读帖子

Daniel Kroening

未读，
2011年12月27日 15:06:562011/12/27
收件人 cpr...@googlegroups.com
A release of CBMC is upcoming -- current snapshot binaries (r844) are available at

http://www.cprover.org/tmp/binaries/cbmc-2011-12-27-linux32.gz
http://www.cprover.org/tmp/binaries/cbmc-2011-12-27-linux64.gz
http://www.cprover.org/tmp/binaries/cbmc-2011-12-27-win32.zip

Any feedback would be appreciated.

回复全部
回复作者
转发
0 个新帖子