View source for How do I... ?

From CVC4
You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
You can view and copy the source of this page.
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 ANTLR3=

*[[Developer's Guide#ANTLR3|...get ANTLR3 to work?]]

=Dealing with the build process=

*[[Developer's Guide#Working with multiple, concurrent build profiles|...build a different CVC4 build profile than the "current" one?]]

=Dealing with Subversion=

*[[Developer's Guide#Accessing CVC4's repository|...check out CVC4 from the repository?]]
*[[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#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?]]
*[[Developer's Guide#Accessing CVC4's repository|...see what I've changed in my working copy?]]
*[[Developer's Guide#Resolving conflicts in a working directory|...resolve a conflict?]]
*[[Developer's Guide#Creating a branch|...create a branch?]]
*[[Developer's Guide#Merging a branch back to the trunk|...merge a branch back into the trunk?]]
*[[Developer's Guide#Symbolically tagging a version|...symbolically tag a version?]]
*[[Developer's Guide#Marking a file as executable in Subversion|...make Subversion recognize that a file should be executable?]]

=Dealing with the source tree=

*[[Developer's Guide#Adding a new Theory|...add support for a new theory to CVC4?]]
*[[Developer's Guide#Adding source directories|...add a new source directory to the tree?]]
*[[Developer's Guide#Adding source and header files|...add a new source file to the tree?]]
*[[Developer's Guide#Adding copyrighted sources|...add a new source file/directory to the tree from another project (under different copyright)?]]
*[[Developer's Guide#update-copyright.pl|...update the copyright information at the top of each file in the tree?]]

=Dealing with tests=

*[[Developer's Guide#Unit testing|...add a new unit test?]]
*[[Developer's Guide#System testing|...add a new system regression?]]
*[[Developer's Guide#Regression testing|...add a new regression?]]
*[[Developer's Guide#Debugging unit tests|...attach a debugger to unit tests?]]
*[[Developer's Guide#Test rebuilding|...avoid rebuilding all tests after trivial code changes to the library?]]
*[[Developer's Guide#Compile-time errors in unit tests|...deal with this strange compile error on my unit test?]]

=Dealing with code coverage=

*[[Developer's Guide#Visualizing code coverage|...visualize code coverage?]]

=Dealing with performance=

*[[Developer's Guide#Profiling|...profile CVC4?]]

=Dealing with the main CVC4 driver program=

*[[Developer's Guide#Command-line options|...add a new command-line option?]]

=Dealing with code reviews=

*[[Developer's Guide#Code reviews|...perform a code review?]]

=Dealing with the services on the Church server=

'''NOTE: This information is deprecated but we might want to review it.'''

*[[Using SSL with Church|...encrypt my communications with the Church web server?]]
*[[Newswire#Adding items to the newswire|...add an item to Church'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?]]
*[[Running a CVC4 Meeting|...run a CVC4 meeting?]]

= Dealing with adding a new theory =
For information on how to add a new theory see [[How to write a theory in CVC4]].
Return to How do I... ?.
Retrieved from "http://cvc4.cs.stanford.edu/wiki/How_do_I..._%3F"
View source for How do I... ?

Navigation menu

Views

Personal tools

CVC4

For CVC4 Developers

Cascade

Meta

Wiki

Search

Tools
