[PPL-devel] New branch `alt_nnc'

[Roberto Bagnara]

A new branch called `alt_nnc' has been created in the CVS
repository containing the PPL sources.  The branch, which
is rooted at the symbolic tag `alt_nnc_root', is meant to
host the development related to the alternative implementation
of NNC polyhedra.

Recognized developers can obtain a working copy of the
newly created branch with a command like

cvs -d cvs.cs.unipr.it:/cvs/ppl checkout -r alt_nnc ppl

Please run this command into a newly created directory
with a very suggestive name so that

1) you are not overwriting your working copy for the main trunk;
2) the risk of committing things to the wrong branch is reduced.

All the best

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it