August 2005 - PPL-devel - BUGSENG Mailman

ppl/m4 ac_check_gmp.m4 ac_check_swi_prolog.m4 ...
by Roberto Bagnara 28 Aug '05

28 Aug '05

1 0

ppl ./missing Watchdog/missing
by Roberto Bagnara 28 Aug '05

28 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-28 10:05:24 Modified files: . : missing Watchdog : missing Log message: Broken comments restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/missing.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/missing.diff?cvsroot…

1 0

ppl/src ppl-config.cc.in
by Roberto Bagnara 27 Aug '05

27 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-27 23:05:42 Modified files: src : ppl-config.cc.in Log message: Progress on the --ldflags option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl-config.cc.in.diff?cvs…

1 0

ppl ./Makefile.am Watchdog/Makefile.am
by Roberto Bagnara 27 Aug '05

27 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-27 21:50:11 Modified files: . : Makefile.am Watchdog : Makefile.am Log message: The `configure' script is now listed in `dist_noinst_SCRIPTS' and no longer in `EXTRA_DIST'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvs…

1 0

ppl ./Makefile.am Watchdog/Makefile.am Watchdo ...
by Roberto Bagnara 27 Aug '05

27 Aug '05

1 0

ppl/Watchdog/utils
by Roberto Bagnara 27 Aug '05

27 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-27 16:26:29 ppl/Watchdog/utils Update of /cvs/ppl/ppl/Watchdog/utils In directory spartacus.cs.unipr.it:/tmp/cvs-serv13525/utils Log Message: Directory /cvs/ppl/ppl/Watchdog/utils added to the repository

1 0

ppl/src Polyhedron_widenings.cc
by Roberto Bagnara 27 Aug '05

27 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-27 15:08:55 Modified files: src : Polyhedron_widenings.cc Log message: Fixed a couple of typos in comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl interfaces/Prolog/ppl_prolog.icc src/Bound ...
by Roberto Bagnara 27 Aug '05

27 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-27 15:04:34 Modified files: interfaces/Prolog: ppl_prolog.icc src : Bounding_Box.cc Bounding_Box.inlines.hh Interval.cc Interval.defs.hh Interval.inlines.hh Interval.types.hh Polyhedron.inlines.hh checked_mpq.inlines.hh Log message: Obsolete class ERational removed. In the process, fixed a couple of bugs whereby GMP rationals were created out of pairs of integers that could have common factors, yet the canonicalize() method was not invoked. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.cc.diff?cvsroot=… 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/Interval.types.hh.diff?cv… 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/checked_mpq.inlines.hh.di…

1 0

ppl/utils Makefile.am
by Roberto Bagnara 27 Aug '05

27 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-27 11:36:38 Modified files: utils : Makefile.am Log message: Ensure the `text2cxxarray' script is distributed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroo…

1 0

ppl/utils Makefile.am
by Roberto Bagnara 27 Aug '05

27 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-27 11:27:02 Modified files: utils : Makefile.am Log message: The `text2cxxarray' script is now listed in `noinst_SCRIPTS'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroo…

1 0