CBMC CVS is now SVN

63 views
Skip to first unread message

Daniel Kroening

unread,
May 9, 2011, 11:01:57 AM5/9/11
to cpr...@googlegroups.com
Dear users of CBMC/CPROVER,

the CVS has been migrated (upgraded) to SVN, and is now available at

svn co http://www.cprover.org/svn/cbmc

No authentication is necessary. The repository follows the usual SVN conventions with subdirectories for the "trunk" and "releases".

With best regards,

Daniel

Reply all
Reply to author
Forward
0 new messages