August 2004 - PPL-devel - BUGSENG Mailman

ppl/doc Makefile.am fdl.txt gpl.txt
by Roberto Bagnara 09 Aug '04

09 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-09 20:43:43 Modified files: doc : Makefile.am Added files: doc : fdl.txt gpl.txt Log message: We now distribute the GPL and the FDL also in text format (so as not to assume that users have Doxygen and/or LaTeX and/or a PostScript/PDF viewer). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/fdl.txt?cvsroot=ppl&rev=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.txt?cvsroot=ppl&rev=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/src Init.cc Makefile.am Polyhedron_widenin ...
by Enea Zaffanella 09 Aug '04

09 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-09 11:28:28 Modified files: src : Init.cc Makefile.am Polyhedron_widenings.cc Removed files: src : statistics.hh Log message: Dealt with all the stuff needed to collect statistics about the BHRZ03 widening operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… 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_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/statistics.hh.diff?cvsroo…

1 0

ppl ./TODO src/Polyhedron.defs.hh src/Polyhedr ...
by Roberto Bagnara 09 Aug '04

09 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-09 10:48:34 Modified files: . : TODO src : Polyhedron.defs.hh Polyhedron.inlines.hh Log message: In Polyhedron::map_dimensions(const PartialFunction&), the method PartialFunction::maps() is now called at most `n' times, where `n' is the dimension of the vector space enclosing the polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.73… 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/src/Polyhedron.inlines.hh.dif…

1 0

ppl ./NEWS ./TODO interfaces/Prolog/ppl_prolog ...
by Roberto Bagnara 09 Aug '04

09 Aug '04

1 0

ppl/src Polyhedron_widenings.cc
by Roberto Bagnara 08 Aug '04

08 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-08 21:42:58 Modified files: src : Polyhedron_widenings.cc Log message: Two FIXMEs dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl ./NEWS demos/ppl_lcdd/ppl_lcdd.cc src/vers ...
by Roberto Bagnara 08 Aug '04

08 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-08 19:59:12 Modified files: . : NEWS demos/ppl_lcdd : ppl_lcdd.cc src : version.hh.in Log message: New macro PPL_VERSION expands to the version string of the library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.88… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroo…

1 0

ppl ./NEWS Watchdog/Makefile.am Watchdog/Watch ...
by Roberto Bagnara 08 Aug '04

08 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-08 19:36:56 Modified files: . : NEWS Watchdog : Makefile.am Watchdog.cc Watchdog.defs.hh Watchdog.inlines.hh interfaces/Prolog: ppl_prolog.icc tests : watchdog1.cc Log message: Watchdog library completely reorganized. Deadlock bug fixed in the process. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.87… 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/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/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro…

1 0

ppl/demos/ppl_lcdd/examples Makefile.am
by Roberto Bagnara 08 Aug '04

08 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-08 19:36:05 Modified files: demos/ppl_lcdd/examples: Makefile.am Log message: Distribute the examples. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/Makef…

1 0

ppl/src Polyhedron.types.hh
by Roberto Bagnara 08 Aug '04

08 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-08 19:35:38 Modified files: src : Polyhedron.types.hh Log message: Namespace closing brace commented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.types.hh.diff?…

1 0

ppl/Watchdog Handler.defs.hh Handler.inlines.h ...
by Roberto Bagnara 08 Aug '04

08 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-08 19:30:49 Added files: Watchdog : Handler.defs.hh Handler.inlines.hh Handler.types.hh Log message: Classes for handlers of the watchdog events. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.defs.hh?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.inlines.hh?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.types.hh?cvs…

1 0