June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 23:19:00 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Support for YAP almost completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 23:18:19 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Include initializer.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/src initializer.hh
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 23:17:32 Modified files: src : initializer.hh Log message: Added the guard against multiple inclusion. Include Init.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/initializer.hh.diff?cvsro…

1 0

ppl/src ConSys.defs.hh Constraint.defs.hh GenS ...
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 20:06:17 Modified files: src : ConSys.defs.hh Constraint.defs.hh GenSys.defs.hh Log message: Temporary kludges removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/Make ...
by Roberto Bagnara 14 Jun '02

14 Jun '02

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 19:06:59 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Prolog_raise_exception() written. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/src Interval.defs.hh Interval.inlines.hh
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 18:43:08 Modified files: src : Interval.defs.hh Interval.inlines.hh Log message: Provide a copy constructor and assignment operator for ExtendedRational. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/tests boundingbox1.cc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 18:32:05 Modified files: tests : boundingbox1.cc Log message: Made it quiet and corrected a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl/tests boundingbox1.cc boundingbox2.cc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 18:24:54 Modified files: tests : boundingbox1.cc boundingbox2.cc Log message: Test file boundingbox1.cc tidied. Small changes to comments in boundingbox2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl/src BoundingBox.cc Interval.defs.hh Interv ...
by Roberto Bagnara 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-14 17:45:20 Modified files: src : BoundingBox.cc Interval.defs.hh Interval.inlines.hh Makefile.am Polyhedron.inlines.hh Added files: src : BoundingBox.defs.hh BoundingBox.inlines.hh BoundingBox.types.hh Removed files: src : BoundingBox.hh Log message: template <class Box> void Polyhedron::shrink_bounding_box(Box&) redesigned and simplified. Many other improvements in the code for dealing with bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.hh.diff?cvsro…

1 0