[PPL-devel] New branch `alt_nnc'

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