Difference between revisions of "How do I... ?"
From CVC4
| Line 57: | Line 57: | ||
*[[Developer's Guide#Code reviews|...perform a code review?]] | *[[Developer's Guide#Code reviews|...perform a code review?]] | ||
| + | |||
| + | =Dealing with the services on Goedel= | ||
| + | |||
| + | *[[Using SSL with Goedel|...encrypt my communications with the Goedel web server?]] | ||
| + | *[[Newswire#Adding items to the newswire|...add an item to Goedel's CVC4 newswire?]] | ||
| + | *[[Developer Meeting Minutes#Adding meeting minutes to the wiki|...add CVC4 meeting minutes to the wiki?]] | ||
| + | *[[Developer Meeting Minutes#Adding electronic notes to meeting minutes|...add electronic notes to CVC4 meeting minutes?]] | ||
Revision as of 11:46, 18 March 2011
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.
Contents
Dealing with ANTLR3
Dealing with the build process
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?
- ...make Subversion recognize that a file should be executable?
Dealing with the source tree
- ...add support for a new theory to CVC4?
- ...add a new source directory to the tree?
- ...add a new source file to the tree?
- ...add a new source file/directory to the tree from another project (under different copyright)?
- ...update the copyright information at the top of each file in the tree?
Dealing with tests
- ...add a new unit test?
- ...add a new system regression?
- ...add a new regression?
- ...attach a debugger to unit tests?
- ...avoid rebuilding all tests after trivial code changes to the library?
- ...deal with this strange compile error on my unit test?
