Difference between revisions of "How do I... ?"
From CVC4
| Line 6: | Line 6: | ||
*[[Developer's Guide#Repository access from Eclipse|...access the repository from Eclipse?]] | *[[Developer's Guide#Repository access from Eclipse|...access the repository from Eclipse?]] | ||
*[[Developer's Guide#Browsing the repository|...browse CVC4 sources online?]] | *[[Developer's Guide#Browsing the repository|...browse CVC4 sources online?]] | ||
| − | *[[...update my working copy to the newest committed version?]] | + | *[[Developer's Guide#Accessing CVC4's repository|...update my working copy to the newest committed version?]] |
| − | + | *[[Developer's Guide#Working with files and directories|...rename a file or directory?]] | |
| − | + | *[[Developer's Guide#Reverting a file in a working directory|...revert changes in my working directory?]] | |
| − | + | *[[Developer's Guide#Reverting a commit|...revert changes that have already been committed to the repository?]] | |
| − | *[[...rename a file or directory?]] | + | *[[Developer's Guide#Accessing CVC4's repository|...see what I've changed in my working copy?]] |
| − | *[[...revert changes in my working directory?]] | + | *[[Developer's Guide#Resolving working directory conflicts|...resolve a conflict?]] |
| − | *[[...revert changes that have already been committed to the repository?]] | + | *[[Developer's Guide#Branching and merging|...create a branch?]] |
| − | *[[...see what I've changed in my working copy?]] | + | *[[Developer's Guide#Branching and merging|...merge a branch back into the trunk?]] |
| − | *[[...resolve a conflict?]] | + | *[[Developer's Guide#Symbolically tagging a version|...symbolically tag a version?]] |
| − | *[[...create a branch?]] | + | |
| − | *[[...merge a branch back into the trunk?]] | + | |
| − | *[[...symbolically tag a version?]] | + | |
=Dealing with the source tree= | =Dealing with the source tree= | ||
Revision as of 16:28, 15 December 2009
This page is a repository for questions about working with CVC4. If you have a question, please add it here. If you have an answer, please add the answer to the Developer's Guide, or another wiki page, and then link to it from here.
Dealing with Subversion
- ...check out CVC4 from the repository?
- ...access the repository from Eclipse?
- ...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?
