May 2002 - PPL-devel - BUGSENG Mailman

ppl interfaces/Prolog/Ciao/Makefile.am interfa ...
by Roberto Bagnara 27 May '02

27 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-27 16:04:29 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/YAP: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/C/lpenum: Makefile.am interfaces/C : Makefile.am src : Makefile.am Log message: INCLUDES is deprecated: use AM_CPPFLAGS instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/tests Makefile.am watchdog1.cc
by Roberto Bagnara 27 May '02

27 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-27 16:01:13 Modified files: tests : Makefile.am watchdog1.cc Log message: Stress test for the timeout facility. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro…

1 0

ppl/Watchdog Makefile.am README Watchdog.cc co ...
by Roberto Bagnara 27 May '02

27 May '02

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 27 May '02

27 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-05-27 13:21:09 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Prolog interface predicates and their names in the documentation now agree with each other. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 26 May '02

26 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-26 14:36:19 Modified files: src : Polyhedron.cc Log message: Assertion fixed in time_elapse_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 26 May '02

26 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-26 14:32:52 Modified files: src : Polyhedron.cc Log message: Properly identify time_elapse_assign() when throwing an exception from there. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Makefile.am Row.cc SatMatrix.cc maxmin.hh
by Roberto Bagnara 25 May '02

25 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-25 18:59:34 Modified files: src : Makefile.am Row.cc SatMatrix.cc Removed files: src : maxmin.hh Log message: Baking our own versions of max() and min() was a bad idea. Patches: 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/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/maxmin.hh.diff?cvsroot=pp…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
by Elisa Ricci 25 May '02

25 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-05-25 16:26:17 Modified files: src : Polyhedron.cc Polyhedron.defs.hh tests : timeelapse1.cc timeelapse2.cc timeelapse3.cc timeelapse4.cc Log message: Changed the function Polyhedron::time_elapse_assign() so that only polyhedra that are topology-compatible can be used and modified the tests so that the polyhedra satisfy this condition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse3.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse4.cc.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 24 May '02

24 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-24 11:49:42 Modified files: src : Polyhedron.cc Log message: Corrected method topological_closure_assign(): inserting the constraint eps_leq_one after modifying the polyhedron to enforce the epsilon upper bound. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Constraint.cc
by Elisa Ricci 24 May '02

24 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-05-24 10:34:42 Modified files: src : Constraint.cc Log message: Corrected an error in the function Constraint::is_trivial_true(): a strict inequality such as `lhs - k > 0' can not be trivial true if `k' is a non negative integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0