May 2002 - PPL-devel - BUGSENG Mailman

ppl ./configure.ac tests/Makefile.am tests/wat ...
by Roberto Bagnara 24 May '02

24 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-24 07:27:46 Modified files: . : configure.ac tests : Makefile.am Added files: tests : watchdog1.cc Log message: Prepare for testing the timeout facility. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl Makefile.am
by Roberto Bagnara 24 May '02

24 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-24 07:26:49 Modified files: . : Makefile.am Log message: If we are building the Watchdog library, make sure it is built before entering the `tests' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

ppl/Watchdog Makefile.am README Timeout.hh Wat ...
by Roberto Bagnara 24 May '02

24 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-24 07:25:50 Modified files: Watchdog : Makefile.am README Timeout.hh Watchdog.cc Watchdog.hh config.h.in configure.ac Log message: Several improvement (but still not operational). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Timeout.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.h.in.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 24 May '02

24 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-24 07:15:57 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Be more specific about how to use the library in SICStus Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/tests widening2.cc
by Roberto Bagnara 23 May '02

23 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-23 10:49:39 Added files: tests : widening2.cc Log message: widening2.cc shows a precision problem in Polyhedron::widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/widening2.cc.diff?cvsro…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 23 May '02

23 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-23 09:50:50 Modified files: tests : Makefile.am Log message: widening2.cc shows a precision problem in Polyhedron::widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src globals.cc
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 13:37:51 Modified files: src : globals.cc Log message: Definition of abandon_exponential_computations fixed again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p…

1 0

ppl/src conversion.cc
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 13:24:48 Modified files: src : conversion.cc Log message: Added a call to maybe_abandon(): this is supposed to be called on all the exponential paths within the library and, in such paths, invocations to it should be separated from one another by a distance that is bounded from above by a polynomial of the size of the input to conversion(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src globals.cc
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 13:16:41 Modified files: src : globals.cc Log message: Definition of abandon_exponential_computations fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p…

1 0

ppl/tests convexdifference1.cc convexhull1.cc ...
by Enea Zaffanella 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-22 11:53:26 Removed files: tests : convexdifference1.cc convexhull1.cc convexhull2.cc convexhull3.cc convexhull4.cc randchull1.cc Log message: Removed and replaced by tests named "poly*". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexdifference1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull3.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull4.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsr…

1 0