Difference between revisions of "How do I... ?"
From CVC4
(→Dealing with the services on the CVC4 Stanford server) |
|||
| (32 intermediate revisions by 6 users not shown) | |||
| Line 1: | Line 1: | ||
| + | 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= | =Dealing with Subversion= | ||
| − | *[[...check out CVC4 from the repository?]] | + | *[[Developer's Guide#Accessing CVC4's repository|...check out CVC4 from the repository?]] |
| − | *[[...browse CVC4 sources online?]] | + | *[[Developer's Guide#Repository access from Eclipse|...access the repository from Eclipse?]] |
| − | *[[...update my working copy to the newest committed version?]] | + | *[[Developer's Guide#Browsing the repository|...browse CVC4 sources online?]] |
| − | *[[...rename a file or directory?]] | + | *[[Developer's Guide#Accessing CVC4's repository|...update my working copy to the newest committed version?]] |
| − | *[[...revert changes in my working directory?]] | + | *[[Developer's Guide#Working with files and directories|...rename a file or directory?]] |
| − | *[[...revert changes that have already been committed to the repository?]] | + | *[[Developer's Guide#Reverting a file in a working directory|...revert changes in my working directory?]] |
| − | *[[...see what I've changed in my working copy?]] | + | *[[Developer's Guide#Reverting a commit|...revert changes that have already been committed to the repository?]] |
| − | *[[...resolve a conflict?]] | + | *[[Developer's Guide#Accessing CVC4's repository|...see what I've changed in my working copy?]] |
| − | *[[...create a branch?]] | + | *[[Developer's Guide#Resolving conflicts in a working directory|...resolve a conflict?]] |
| − | *[[...merge a branch back into the trunk?]] | + | *[[Developer's Guide#Creating a branch|...create a branch?]] |
| − | *[[...symbolically tag a version?]] | + | *[[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= | =Dealing with the source tree= | ||
| − | *[[...add a new source directory to the tree?]] | + | *[[Developer's Guide#Adding a new Theory|...add support for a new theory to CVC4?]] |
| − | *[[...add a new source file to the tree?]] | + | *[[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?]] | *[[Developer's Guide#update-copyright.pl|...update the copyright information at the top of each file in the tree?]] | ||
| Line 22: | Line 36: | ||
*[[Developer's Guide#Unit testing|...add a new unit test?]] | *[[Developer's Guide#Unit testing|...add a new unit test?]] | ||
| − | *[[...add a new regression?]] | + | *[[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]]. | ||
Latest revision as of 11:12, 8 February 2017
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
- 1 Dealing with ANTLR3
- 2 Dealing with the build process
- 3 Dealing with Subversion
- 4 Dealing with the source tree
- 5 Dealing with tests
- 6 Dealing with code coverage
- 7 Dealing with performance
- 8 Dealing with the main CVC4 driver program
- 9 Dealing with code reviews
- 10 Dealing with the services on the Church server
- 11 Dealing with adding a new theory
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?
Dealing with code coverage
Dealing with performance
Dealing with the main CVC4 driver program
Dealing with code reviews
Dealing with the services on the Church server
NOTE: This information is deprecated but we might want to review it.
- ...add CVC4 meeting minutes to the wiki?
- ...add electronic notes to CVC4 meeting minutes?
- ...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.
