Dear all,
the work we have planned on the strict branch should be done in manageable pieces,
so that any problem can be identified as early as possible. What I would like
to see is
- a first commit where Polyhedron* has become, by renaming, PolyBase* and where
the new Polyhedron is just defined to be a PolyBase;
- a second commit where the new flags are added to PolyBase and the other classes:
at this stage the new flags exist but are unused;
- a third commit where we start using the flags so that our new (ordinary, closed)
Polyhedron classes works as usual. This should be checked also by running
China on all our benchmarks and comparing the results with the version we have now
(I am producing them).
We will see later how to proceed.
Ciao
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
Dear all,
I have just created a branch called `strict' of PPL's main CVS trunk.
To check it out, recognized developers (i.e., those with an account
on cvs.cs.unipr.it) should use a command like
cvs -d cvs.cs.unipr.it:/cvs/ppl checkout -r strict ppl
whereas others should just follow the instructions at
http://www.cs.unipr.it/ppl/Download/cvs#read-only-access
simply adding `-r strict' to the checkout command.
Of course, you should not do that from a directory where you have
another directory called `ppl' ;-)
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@cs.unipr.it
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-03-13 07:11:52
Modified files:
interfaces/Prolog: ppl_prolog.outlines.hh
Log message:
Added new atoms for the relations of polyhedra with constraints and
generators.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…
