This page contains instructions to access the project repository of Software Specification and Verification (SSV) Laboratory and is intended for use only by SSV members.
You can access the CVS repository of SSV lab either through its Web interface or by using CVS client programs.
You can browse the CVS repository at http://opuntia.cs.utep.edu/projects. This Web interface will give you a view of the whole history of any file in the repository as well as the possibility to list the differences among two versions. However, the Web interface does not allow you to commit to the repository. For that, you need a CVS account; see below.
If you have a CVS account, you can access the repository
directly from the command line;
if you don't have a CVS account,
For example, the following commands will check out the
UTJML module from the repository:
cvs -d:pserver:YOUR_ACCOUNT@opuntia.cs.utep.edu:/home/cvsroot/research login cvs -d:pserver:YOUR_ACCOUNT@opuntia.cs.utep.edu:/home/cvsroot/research checkout UTJMLIt is handy to set the
CVSROOTenvironment variable in your shell initialization or startup file (e.g.,
export CVSROOT=:pserver:YOUR_ACCOUNT@opuntia.cs.utep.edu:/home/cvsroot/researchThen, you can execute the following two command to check out the
cvs login cvs checkout UTJMLAn alternative would be to define an alias (e.g.,
cvsssvl) in your shell initialization or startup file (e.g.,
.bashrc); if you need to access more than one CVS server, this approach might be better.
alias cvsssvl='cvs -d:pserver:YOUR_ACCOUNT@opuntia.cs.utep.edu:/home/cvsroot/research'For CVS commands, refer to the CVS home page.
If you use Eclipse as your development envrionment, Eclipse provides an easy-to-use interface to CVS. To create a new project from a CVS repository module, do the following (tested on Eclipse version 3.0);
A bunch of CVS-related actions are available from the Team menu item of the popup menu on the Package Explorer. Eclipse also provide "CVS Repository Exploring Perspective" that contains the CVS Repositories view, the CVS Resource History view, and an editor area. For details of Eclipse support for CVS, refer to Eclipse documents.
If you are a member of SSV lab and don't have a CVS account yet, you can request one on-line.
Last modified: $Id: accessing-repository.html,v 1.9 2008/11/11 15:24:59 cheon Exp $