CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2001-10-31 21:20:57
Modified files:
interfaces/Prolog/SICStus: ppl_sicstus.cc
Log message:
All C++ exceptions are now handled
and translated into Prolog exceptions.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2001-10-31 14:45:07
Modified files:
interfaces/Prolog/SICStus: solve.pl
Log message:
Now, backtracking works for some queries including fibonacci.
Also it works with a test that checks deeper backtracking.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-31 14:36:58
Modified files:
src : Polyhedron.cc
Log message:
In the checking function OK, we were forgetting return or jump to the
appropriate code after having checked the correctness of a 0-space dim
polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-31 11:52:54
Modified files:
src : Polyhedron.cc
Log message:
In functions Polyhedron::widening_assign and
Polyhedron::limited_widening_assign considered the case of the polyhedra
in a zero-dimensional space.
In function Polyhedron::limited_widening_assign considered the case of
cs.space_dimension() < space_dimension().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2001-10-31 11:32:16
Modified files:
src : GenSys.defs.hh
Log message:
Added an example where a system of generators is printed
by using more features of the STL.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…
