Difference between revisions of "How do I... ?"
From CVC4
(Created page with '*...add a new source directory to the tree? *...add a new source file to the tree? *...add a new unit test? *...add a new regression? *[[#update-cop…') |
|||
| Line 1: | Line 1: | ||
| + | =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 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?]] | ||
| + | |||
| + | =Dealing with tests= | ||
| + | |||
*[[#Unit testing|...add a new unit test?]] | *[[#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?
