CBMC CVS is now SVN
68 views
Skip to first unread message
Daniel Kroening
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