Difference between revisions of "How do I... ?"
From CVC4
Line 17: | Line 17: | ||
*[[...add a new source directory to the tree?]] | *[[...add a new source directory to the tree?]] | ||
*[[...add a new source file to the tree?]] | *[[...add a new source file to the tree?]] | ||
− | *[[#update-copyright.pl|...update the copyright information at the top of each file in the tree?]] | + | *[[Developer's Guide#update-copyright.pl|...update the copyright information at the top of each file in the tree?]] |
=Dealing with tests= | =Dealing with tests= | ||
− | *[[#Unit testing|...add a new unit test?]] | + | *[[Developer's Guide#Unit testing|...add a new unit test?]] |
*[[...add a new regression?]] | *[[...add a new regression?]] |
Revision as of 12:49, 15 December 2009
Dealing with Subversion
- ...check out CVC4 from the repository?
- ...browse CVC4 sources online?
- ...update my working copy to the newest committed version?
- ...rename a file or directory?
- ...revert changes in my working directory?
- ...revert changes that have already been committed to the repository?
- ...see what I've changed in my working copy?
- ...resolve a conflict?
- ...create a branch?
- ...merge a branch back into the trunk?
- ...symbolically tag a version?
Dealing with the source tree
- ...add a new source directory to the tree?
- ...add a new source file to the tree?
- ...update the copyright information at the top of each file in the tree?