January 2003 - PPL-devel - BUGSENG Mailman

ppl/Watchdog Watchdog.defs.hh
by Roberto Bagnara 12 Jan '03

12 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-12 08:33:14 Modified files: Watchdog : Watchdog.defs.hh Log message: Spurious, illegal qualification removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.dif…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 12 Jan '03

12 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-12 00:22:52 Modified files: src : Polyhedron.cc Log message: In check_universe(), try to avoid minimization as much as possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 11 Jan '03

11 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-11 22:34:51 Modified files: src : Polyhedron.cc Log message: Got rid of preprocessing flag NEW_LIMITED_GROWTH_ORDERING: now always using the new lgo in is_BHRZ03_stabilizing(). Added preprocessing flag EVOLVING_RAYS_SATURATORS for testing purposes on the evolving rays technique of BHRZ03_widening_assign(). Some improvements in the variable names and comments of the evolving rays technique. No longer testing for stabilization after applying H79 (unless assertions are turned on). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl config.guess config.sub
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-10 21:14:55 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-10 10:04:05 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Paranoid robustness improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-10 09:59:33 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Avoid leaking memory on exit and in the case of multiple calls to ppl_set_timeout/1 not intermixed to calls to ppl_reset_timeout/0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl ./NEWS interfaces/Prolog/ppl_prolog.icc in ...
by Roberto Bagnara 10 Jan '03

10 Jan '03

1 0

ppl TODO
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-10 09:49:49 Modified files: . : TODO Log message: More urgent things to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.28…

1 0

ppl/tests watchdog1.cc
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-10 09:48:39 Modified files: tests : watchdog1.cc Log message: Do not explicitly initialize the Parma Watchdog Library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro…

1 0

ppl/Watchdog Watchdog.cc Watchdog.defs.hh Watc ...
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-10 09:48:13 Modified files: Watchdog : Watchdog.cc Watchdog.defs.hh Watchdog.inlines.hh Watchdog.types.hh Log message: New "nifty counter" implementation of library's initialization and finalization. Explicit initialization and finalization is no longer necessary nor possible. Patches: 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.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.types.hh.di…

1 0